R. J. Abbott, Emergence and systems engineering: putting complex systems to work, Symposium on Complex Systems Engineering, pp.11-12, 2007.

. Jean-raymond-abrial, Modeling in Event-B: system and software engineering, p.646068815, 2010.

R. Baduel, I. Bruel, E. Ober, and . Doba, Definition of states and modes as general concepts for system design and validation, 2018.

R. Balakrishnan and K. Ranganathan, A Textbook of Graph Theory, 2012.

P. Baracos, Grafcet step by step. Famic Automation, 1992.

A. Benveniste, B. Caillaud, and D. , Contracts for Systems Design: Theory, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01178467

E. Börger and R. Stärk, Abstract state machines: a method for highlevel system design and analysis, 2003.

M. Chami, P. Oggier, O. Naas, and M. Heinz, Real World Application of MBSE at Bombardier Transportation, The Swiss Systems Engineering Day (SWISSED 2015), 2015.

R. Fujimoto, C. Bock, W. Chen, E. Page, and J. H. Panchal, Research challenges in modeling and simulation for engineering complex systems, 2017.

D. Harel, Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, pp.231-274, 1987.

B. Haskins, J. Stecklein, B. Dick, G. Moroney, R. Lovell et al., 8.4.2 Error Cost Escalation Through the Project Life Cycle, INCOSE International Symposium, vol.14, pp.1723-1737, 2004.
URL : https://hal.archives-ouvertes.fr/hal-02817657

J. Hopcroft, R. Motwani, and J. Ullman, Introducrion to Automata Theory, Languages and Computation, 2001.

G. Jesko, T. Lamm, and . Weilkiens, Functional Architectures in SysML, Proceedings of the Tag des Systems Engineering, 2010.

J. Moigne, La théorie du système général: théorie de la modélisation, 1994.

M. D. Ingham, R. D. Rasmussen, M. B. Bennett, and A. C. Moncada, Engineering Complex Embedded Systems with State Analysis and the Mission Data System, AIAA Journal of Aerospace Computing, Information, and Communication, vol.2, 2005.

L. Pazzi, Modeling Systemic Behavior by State-Based Holonic Modular Units, Model-Driven Engineering Languages and Systems, Juergen Dingel, 2014.

, , vol.8767, pp.99-115

M. Soeken and R. Drechsler, Formal Specification Level, 2015.

S. Thiago-rocha, A behavior-driven approach for specifying and testing user requirements in interactive systems, 2018.