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
Research Challenges for Systems-of-Systems, 2005 IEEE International Conference on Systems, Man and Cybernetics, 2005. ,
DOI : 10.1109/ICSMC.2005.1571630
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
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
Formal methods, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009. ,
DOI : 10.1145/1592434.1592436
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
Using Z Specification, Refinement, and Proof, 1996. ,
Communicating Sequential Processes, 2004. ,
DOI : 10.1145/357980.358021
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.6772
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
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
Combination and Implementation of Processes and Data: from CSP-OZ to Java, 2000. ,
JML, Proceedings of the Principles and Practices of Programming on The Java Platform, PPPJ '15, pp.105-106, 2000. ,
DOI : 10.1145/2807426.2817926
Verification of Object-Oriented Software: The KeY Approach. LNAI 4334, 2007. ,
Validated Designs for Object-oriented Systems, 2005. ,
Interface Contracts for Architectural Specification and Assessment: a SysML Extension, Proc. Workshop on Dependable Systems of Systems (WDSoS '11), 2011. ,
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
Modelling the Major Incident Procedure Manual: A Systems of Systems Case Study, 2012. ,
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
Verifiable Resilience in Architectural Reconfiguration, 2012. ,
Why Critical Systems Need Help to Evolve, Computer, vol.43, issue.5, pp.56-63, 2010. ,
DOI : 10.1109/MC.2010.150