M. W. Maier, Architecting principles for systems-of-systems, Systems Engineering, vol.1, issue.4, pp.267-284, 1998.
DOI : 10.1002/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D

M. W. Maier, Research Challenges for Systems-of-Systems, 2005 IEEE International Conference on Systems, Man and Cybernetics, 2005.
DOI : 10.1109/ICSMC.2005.1571630

R. Valerdi, E. Axelbrand, T. Baehren, and B. Boehm, A research agenda for systems of systems architecting, International Journal of System of Systems Engineering, vol.1, issue.1/2, pp.171-188, 2008.
DOI : 10.1504/IJSSE.2008.018137

L. M. Camarinha-matos and H. Afsarmanesh, A comprehensive modeling framework for collaborative networked organizations, Journal of Intelligent Manufacturing, vol.26, issue.3, pp.529-542, 2007.
DOI : 10.1007/s10845-007-0063-3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.4293

J. C. Woodcock, P. G. Larsen, J. C. Bicarregui, and J. S. Fitzgerald, Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009.
DOI : 10.1145/1592434.1592436

D. S. Caffall and J. B. Michael, Formal Methods in a System-of-Systems Development, 2005 IEEE International Conference on Systems, Man and Cybernetics, pp.1856-1863, 2005.
DOI : 10.1109/ICSMC.2005.1571417

J. C. Woodcock and J. Davies, Using Z Specification, Refinement, and Proof, 1996.

C. A. Hoare, Communicating Sequential Processes, 2004.
DOI : 10.1145/357980.358021
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6772

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

H. Treharne and S. Schneider, Using a Process Algebra to control B OPERATIONS, 1st International Conference on Integrated Formal Methods IFM'99, pp.437-457, 1999.
DOI : 10.1007/978-1-4471-0851-1_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.9460

C. Fischer, Combination and Implementation of Processes and Data: from CSP-OZ to Java, 2000.

G. T. Leavens, K. R. Leino, E. Poll, C. Ruby, and B. Jacobs, JML, Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ '15, pp.105-106, 2000.
DOI : 10.1145/2807426.2817926

B. Beckert, R. Hãhnle, and P. H. Schmitt, Verification of Object-Oriented Software: The KeY Approach. LNAI 4334, 2007.

J. S. Fitzgerald, P. G. Larsen, P. Mukherjee, . Plat, and M. Verhoef, Validated Designs for Object-oriented Systems, 2005.

R. J. Payne and J. S. Fitzgerald, Interface Contracts for Architectural Specification and Assessment: a SysML Extension, Proc. Workshop on Dependable Systems of Systems (WDSoS '11), 2011.

J. W. Bryans, J. S. Fitzgerald, and T. Mccutcheon, Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations, Adaptation and Value Creating Collaborative Networks IFIP AICT, pp.314-321, 2011.
DOI : 10.1007/978-3-642-23330-2_35

R. J. Payne and J. W. Bryans, Modelling the Major Incident Procedure Manual: A Systems of Systems Case Study, 2012.

R. Calinescu and M. Kwiatkowska, Software Engineering Techniques for the Development of Systems of Systems, Foundations of Computer Software, pp.59-82, 2010.
DOI : 10.1007/978-3-642-12566-9_4

R. J. Payne, Verifiable Resilience in Architectural Reconfiguration, 2012.

B. Cohen and P. Boxer, Why Critical Systems Need Help to Evolve, Computer, vol.43, issue.5, pp.56-63, 2010.
DOI : 10.1109/MC.2010.150