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

R. Valerdi, E. Axelband, T. Baehren, B. Boehm, D. Dorenbos et al., 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. Northrop, P. H. Feiler, R. P. Gabriel, R. Linger, T. Longstaff et al., Ultra-Large-Scale Systems: The Software Challenge of the Future, 2006.

M. Broy, M. Cengarle, and E. Geisberger, Cyber-Physical Systems: Imminent Challenges, Large-Scale Complex IT Systems. Development , Operation and Management, pp.1-28, 2012.
DOI : 10.1007/978-3-642-34059-8_1

L. Baresi, D. Nitto, E. Ghezzi, and C. , Toward open-world software: Issues and challenges, Computer, vol.39, issue.10, pp.36-43, 2006.
DOI : 10.1109/MC.2006.362

B. H. Cheng, R. De-lemos, H. Giese, P. Inverardi, J. Magee et al., Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software Engineering for Self-Adaptive Systems, pp.1-26, 2009.
DOI : 10.1007/s11219-007-9017-4

R. De-lemos, H. Giese, H. Müller, M. Shaw, J. Andersson et al., Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, Software Engineering for Self-Adaptive Systems II. Volume 7475 of Lecture Notes in Computer Science (LNCS), pp.1-32, 2013.
DOI : 10.1145/1808984.1808994
URL : https://hal.archives-ouvertes.fr/inria-00638157

T. Mens and S. Demeyer, Software Evolution, 2008.
DOI : 10.1007/978-3-540-76440-3
URL : https://hal.archives-ouvertes.fr/inria-00160620

S. Mittal and J. Risco-martin, Model-driven systems engineering for netcentric system of systems with DEVS unified process, 2013 Winter Simulations Conference (WSC), pp.1140-1151, 2013.
DOI : 10.1109/WSC.2013.6721503

R. T. Sanders, H. N. Castejón, F. Kraemer, and R. Braek, Using UML 2.0 Collaborations for Compositional Service Specification, Lecture Notes in Computer ScienceLNCS, vol.3713, pp.460-475, 2005.
DOI : 10.1007/11557432_35

M. Broy, I. Krüger, and M. Meisinger, A formal model of services, ACM Transactions on Software Engineering and Methodology, vol.16, issue.1, 2007.
DOI : 10.1145/1189748.1189753

L. Baresi, R. Heckel, S. Thöne, and D. Varró, Modeling and Validation of Service- Oriented Architectures: Application vs. Style, Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ESEC/FSE-11, pp.68-77, 2003.

L. Baresi, R. Heckel, S. Thöne, and D. Varró, Style-based modeling and refinement of service-oriented architectures, Software & Systems Modeling, vol.55, issue.3, pp.187-207, 2006.
DOI : 10.1007/s10270-006-0001-4

M. Hölzl, M. Wirsing, G. Agha, O. Danvy, and J. Meseguer, Towards a System Model for Ensembles, Lecture Notes in Computer ScienceLNCS, vol.7000, pp.241-261, 2011.
DOI : 10.1007/978-3-642-24933-4_12

R. Milner, Communicating and mobile systems: the ?-calculus, 1999.

R. Milner, The Space and Motion of Communicating Agents, 2009.
DOI : 10.1017/CBO9780511626661

D. Varró, Automated formal verification of visual modeling languages by model checking, Software & Systems Modeling, vol.44, issue.2, pp.85-113, 2004.
DOI : 10.1016/S0167-6423(02)00039-4

A. Rensink, Towards model checking graph grammars, Proc. of the 3rd Workshop on Automated Verification of Critical Systems, pp.150-160, 2003.
DOI : 10.1007/978-3-540-68679-8_8
URL : http://doc.utwente.nl/62357/1/ugo2008.pdf

M. F. Frias, J. P. Galeotti, C. G. López-pombo, and N. M. Aguirre, DynAlloy, Proceedings of the 27th international conference on Software engineering , ICSE '05, pp.442-451, 2005.
DOI : 10.1145/1062455.1062535

¨. Olveczky, P. Meseguer, and J. , Specification and Analysis of Real-Time Systems Using Real-Time Maude, Fundamental Approaches to Software Engineering. Volume 2984 of Lecture Notes in Computer Science (LNCS), pp.354-358, 2004.
DOI : 10.1007/978-3-540-24721-0_26

J. Zhang, H. J. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

P. Baldan, A. Corradini, and B. König, A Static Analysis Technique for Graph Transformation Systems, CONCUR 2001 ? Concurrency Theory, pp.381-395, 2001.
DOI : 10.1007/3-540-44685-0_26

J. Bauer and R. Wilhelm, Static Analysis of Dynamic Communication Systems by Partner Abstraction, Lecture Notes in Computer ScienceLNCS, vol.4634, pp.249-264, 2007.
DOI : 10.1007/978-3-540-74061-2_16

S. Burmester, H. Giese, E. Münch, O. Oberschelp, F. Klein et al., Tool support for the design of self-optimizing mechatronic multi-agent systems, International Journal on Software Tools for Technology Transfer, vol.28, issue.5, pp.207-222, 2008.
DOI : 10.1007/s10009-008-0067-0

H. Giese and W. Schäfer, Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML, Lecture Notes in Computer ScienceLNCS, vol.17, issue.3, pp.152-186, 2013.
DOI : 10.1007/11839569_4

H. Giese, S. Burmester, W. Schäfer, and O. Oberschelp, Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration

H. Giese, M. Tichy, S. Burmester, W. Schäfer, and S. Flake, Towards the compositional verification of real-time uml designs, Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ESEC/FSE-11, pp.38-47, 2003.

B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling, Symbolic invariant verification for systems with dynamic structural adaptation, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.72-81, 2006.
DOI : 10.1145/1134285.1134297
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.7709

H. Giese and F. Klein, Systematic verification of multi-agent systems based on rigorous executable specifications, International Journal of Agent-Oriented Software Engineering, vol.1, issue.1, pp.28-62, 2007.
DOI : 10.1504/IJAOSE.2007.013264

T. Vogel and H. Giese, Model-Driven Engineering of Self-Adaptive Software with EUREMA, ACM Transactions on Autonomous and Adaptive Systems, vol.8, issue.4, pp.1-1833, 2014.
DOI : 10.1145/2555612

G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, 1997.
DOI : 10.1142/3303

G. Rozenberg, H. Ehrig, G. Engels, and H. Kreowski, Handbook of graph grammars and computing by graph transformation, applications, languages, and tools, 1999.
DOI : 10.1142/3303

E. Vassev and M. Hinchey, The Challenge of Developing Autonomic Systems, Computer, vol.43, issue.12, pp.93-96, 2010.
DOI : 10.1109/MC.2010.361

A. Marconi, A. Bucchiarone, K. Bratanis, A. Brogi, J. Camara et al., Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems, 2012 First International Workshop on European Software Services and Systems Research, Results and Challenges (S-Cube), pp.40-46, 2012.
DOI : 10.1109/S-Cube.2012.6225509

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

T. Vogel and H. Giese, Adaptation and abstract runtime models, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.39-48, 2010.
DOI : 10.1145/1808984.1808989

T. Vogel, A. Seibel, and H. Giese, The Role of Models and Megamodels at Runtime, Models in Software Engineering, pp.224-238, 2011.
DOI : 10.1007/978-3-642-12261-3_13

S. Wätzoldt and H. Giese, Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling, Proceedings of the 9th International Workshop on Models@run.time. Volume 1270 of CEUR Workshop Proceedings., CEUR-WS.org, pp.11-20, 2014.

J. O. Kephart and D. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

H. Giese, L. Lambers, B. Becker, S. Hildebrandt, S. Neumann et al., Graph Transformations for MDE, Adaptation, and Models at Runtime, Lecture Notes in Computer ScienceLNCS, vol.42, issue.10, pp.137-191, 2012.
DOI : 10.1007/s10270-009-0146-z

F. Klein and H. Giese, Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams, Lecture Notes in Computer ScienceLNCS, vol.4422, pp.185-199, 2007.
DOI : 10.1007/978-3-540-71289-3_16

B. Becker, Architectural modelling and verification of open service-oriented systems of systems, 2014.

H. Giese, S. Burmester, F. Klein, D. Schilling, and M. Tichy, Multi-Agent System Design for Safety-Critical Self-Optimizing Mechatronic Systems with UML, OOPSLA 2003 -Second International Workshop on Agent-Oriented Methodologies for Object Technology Applications and Research (COTAR), pp.21-32, 2003.

B. Becker and H. Giese, Modeling of correct self-adaptive systems, Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, CSTST '08, pp.508-516, 2008.
DOI : 10.1145/1456223.1456326

H. Giese, S. Hildebrandt, and L. Lambers, Toward Bridging the Gap between Formal Semantics and Implementation of Triple Graph Grammars, 2010 Workshop on Model-Driven Engineering, Verification, and Validation, pp.273-299, 2014.
DOI : 10.1109/MoDeVVa.2010.14

B. Becker and H. Giese, On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.203-210, 2008.
DOI : 10.1109/ISORC.2008.13

C. Krause, H. H. Giese, G. Engels, H. J. Kreowski, and G. Rozenberg, Probabilistic Graph Transformation Systems, Proceedings of Intl. Conf. on Graph Transformation (ICGT' 12, pp.311-325, 2012.
DOI : 10.1007/978-3-642-33654-6_21

B. Becker and H. Giese, Cyber-Physical Systems with Dynamic Structure: Towards Modeling and Verification of Inductive Invariants, 2012.

H. Giese and B. Becker, Modeling and Verifying Dynamic Evolving Service-Oriented Architectures, 2013.

R. C. Conant and W. R. Ashby, Every good regulator of a system must be a model of that system ???, International Journal of Systems Science, vol.76, issue.2, pp.89-97, 1970.
DOI : 10.1080/00207727008920220

H. A. Simon, The Sciences of the Artificial. 3 edn, 1996.

B. Meyer, In: Concurrency, distribution, client-server and the Internet. 2 edn, pp.30-951, 1997.

N. H. Minsky and V. Ungureanu, Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, pp.273-305, 2000.
DOI : 10.1145/352591.352592
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.848

T. Vogel and H. Giese, On Unifying Development Models and Runtime Models, Proceedings of the 9th International Workshop on Models@run.time. Volume 1270 of CEUR Workshop Proceedings., CEUR-WS.org, pp.5-10, 2014.