J. Bézivin, On the unification power of models, Software & Systems Modeling, vol.4, issue.2, pp.171-188, 2005.

R. F. Boldt, Combining the Power of MathWorks Simulink and Telelogic UML/SysML-based Rhapsody to Redefine MDD, 2007.

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

T. Clark, A. Evans, P. Sammut, and J. Willans, An eXecutable metamodelling facility for domain specific language design. The 4 th OOPSLA Workshop on Domain-Specific Modeling, 2004.

T. Clark, P. Sammut, and J. Willans, Superlanguages: developing languages and applications with XMF, Ceteva, 2008.

B. Combemale, X. Crégut, P. Garoche, and X. Thirioux, Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification, Journal of Software, issue.6, p.4, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00371553

B. P. Douglass, Real time UML, the 7th International Symposium FTRTFT, 2002.

R. Engelmore, M. , and T. , Blackboard systems, 1988.

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

D. Harel and M. Politi, IEC 60848, Specification language GRAFCET for sequential function charts, 1998.

A. G. Kleppe, A language description is more than a metamodel, 2007.

Z. Kohavi, Switching and Finite Automata Theory, Computer Science Series, 1978.

P. Lalanda, Two complementary patterns to build multi-expert systems. Pattern Languages of Programs, 1997.

M. Larnac, V. Chapurlat, J. Magnier, C. , and B. , Formal Representation and Proof of the Interpreted Sequential Machine Model. EUROCAST'97, 1997.

K. G. Larsen, P. Pettersson, Y. , and W. , UPPAAL in a nutshell, International Journal on Software Tools for Technology Transfer (STTT), vol.1, issue.1, pp.134-152, 1997.

E. A. Lee, J. , and I. I. , Overview of the ptolemy project, 1999.

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs based on fUML, Software Language Engineering, pp.56-75, 2013.

B. Nastov, V. Chapurlat, C. Dony, and F. Pfister, A Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics, the proceedings of CSD&M, pp.225-238, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01237138

R. F. Paige, D. S. Kolovos, and F. A. Polack, An action semantics for MOF 2.0, Proceedings of the 2006 ACM symposium on Applied computing, pp.1304-1305, 2006.

K. Y. Rozier, Linear temporal logic symbolic model checking, Computer Science Review, vol.5, issue.2, pp.163-203, 2011.

D. A. Sadilek and G. Wachsmuth, Using grammarware languages to define operational semantics of modelled languages, Objects, Components, Models and Patterns, pp.348-356, 2009.

H. Springer-berlin,

T. Schäfer, A. Knapp, and S. Merz, Model checking UML state machines and collaborations, Electronic Notes in Theoretical Computer Science, vol.55, issue.3, pp.357-369, 2001.

M. Scheidgen and J. Fischer, Human comprehensible and machine processable specifications of operational semantics, ECMDAFA 07, pp.157-171, 2007.

D. Steinberg, F. Budinsky, E. Merks, and M. Paternostro, EMF: eclipse modeling framework, 2008.

E. Vandermeulen, H. A. Donagan, M. Larnac, and J. Magnier, The temporal boolean derivative applied to verification of extended finite state machine, Computer and Mathematics with application, vol.30, 1995.