Russian Approach to Interoperability Formalization of Network-Centric Systems | IEEE Conference Publication | IEEE Xplore