. Results, Counter examples Fig. 6: Overview of the approach (big picture)

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

. Kang-shian-chin, . Pee-eng-yau, C. Sim-kok-wah, and . Khiang, Framework for managing System-of-systems ilities, DSTA HORIZONS, p.14, 2013.

L. J. Timothy and . Ferris, It Depends: Systems of systems engineering requires new methods if you are talking about new kinds of systems of systems, INCOSE, pp.2011-2018, 2006.

O. Weck, D. Roos, and C. Magee, Engineering Systems: Meeting Human Needs in a Complex Technological World, 2012.

M. Adam, D. H. Ross, and . Rhodes, Towards a Prescriptive Semantic Basis for Changetype Ilities, Conference on Systems Engineering Research Procedia Computer Science, vol.44, pp.443-453, 2015.

N. Ricci, M. E. Fitzgerald, A. M. Ross, and D. H. Rhodes, Architecting Systems of Systems with Ilities: An Overview of the SAI Method, Procedia Computer Science, vol.28, 2014.
DOI : 10.1016/j.procs.2014.03.040

A. M. Ross, Adaptive and Resilient Space Systems Panel, 2011.

K. Warren, K. Vaneman, and . Triantis, An Analytical Approach to Assessing Emergent Behavior is a System of System, pp.3-5, 2014.

H. L. Mcmanus, M. G. Richards, A. M. Ross, and D. E. Hastings, A Framework for Incorporating " ilities " in Tradespace Studies, A Collection of Technical Papers -AIAA Space, Conference, vol.1, pp.941-954, 2007.

K. Dou, X. Wang, C. Tang, A. Ross, and K. Sullivan, An Evolutionary Theory-systems Approach to a Science of the Ilities, Procedia Computer Science, vol.44, 2015.
DOI : 10.1016/j.procs.2015.03.064

V. Chapurlat and N. Daclin, Proposition of a guide for investigating, modeling and analyzing system operating modes: OMAG, Complex Systems Design and Management CSDM, 2013.

C. S. Wasson, System Analysis, Design and Development: concepts, principles and practices, 2014.
DOI : 10.1002/0471728241

K. T. Cheng and A. S. Krishnakumar, Automatic functional test generation using the extended finite state machine model, Proceedings of the 30th international on Design automation conference , DAC '93, 1993.
DOI : 10.1145/157485.164585

V. Chapurlat and . Upsl-se, UPSL-SE: A model verification framework for Systems Engineering, Computers in Industry, vol.64, issue.5, pp.581-597, 2013.
DOI : 10.1016/j.compind.2013.03.002
URL : https://hal.archives-ouvertes.fr/hal-00804265

V. Chapurlat, Property concept and modelling language for Model-Based Systems Engineering (MBSE) context, Internal Research Report

P. A. Micouin, C. J. Qamar, and . Paredis, Toward a property based requirements theory: System requirements structured as a semilattice, International Design Engineering Technical Conference and Computers and Information Engineering Conference, IDET/CIE 2012, pp.235-245, 2008.
DOI : 10.1002/sys.20097

P. Mckenzie, Systems and Software verification: model checking techniques and tools, 2001.

J. Pearl, Reasoning with cause and effect, In AI Magazine, vol.23, issue.1, pp.95-111, 1999.

. Bkcase-editorial and . Board, The Guide to the Systems Engineering Body of Knowledge (SEBoK), v. 1.3.2 R.D. Adcock (EIC). Hoboken, NJ: The Trustees of the Stevens Institute of Technology, 2015.

S. Billaud, N. Daclin, and V. Chapurlat, Interoperability as a Key Concept for the Control and Evolution of the System of Systems (SoS), 6th International Workshop on Enterprise Interoperability, to appear in IWEI Proc. LNCS, 2015.
DOI : 10.1007/978-3-662-47157-9_5
URL : https://hal.archives-ouvertes.fr/hal-01438407

V. Chapurlat, M. Larnac, and G. Dray, Analysis and formal verification of Grafcet (FCCS) using Interpreted Sequential Machine, IEEE CESA'96, 1996.

B. Nastov, V. Chapurlat, C. Dony, and F. Pfister, A verification approach from MDE applied to Model Based Systems Engineering: xeFFBD dynamic semantics, Complex Systems Design and Management CSDM 2014, 2014.