It is admitted that there is parallel between a System of Systems (SoS) and Collaborative Networked Organizations (CNOs). SoS Engineering (SoSE) carefully focuses on choosing, assembling and interfacing existing systems to build the so-called SoS. In this context, and as demonstrated by the literature and the System Engineering domain, interoperability takes on its full meaning and has to be fully considered as a decisive factor when organizations set up a CNO. This paper proposes to 1) model the SoS through a meta- model that includes concepts which 2) enable interoperability modeling and the analysis of its impact on the SoS’ characteristics, stability, integrity, performance and behavior. The proposed analysis is based on a verification approach mixing simulation and formal proof techniques.