D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

T. Clark, A. Evans, and S. Kent, The Metamodelling Language Calculus: Foundation Semantics for UML, FASE '01, ser. LNCS, pp.17-31, 2001.
DOI : 10.1007/3-540-45314-8_3

J. R. Romero, J. E. Rivera, F. Duran, and A. Vallecillo, Formal and Tool Support for Model Driven Engineering with Maude., The Journal of Object Technology, vol.6, issue.9, pp.187-207, 2007.
DOI : 10.5381/jot.2007.6.9.a10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.7917

B. Berthomieu, J. Bodeveix, M. Filali, P. Farail, P. Gaufillet et al., FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment, ERTS'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00262442

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS'05, ser. LNCS, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

G. Rozenberg and E. , Handbook of graph grammars and computing by graph transformation: volume I, foundations. World Scientific, 1997.
DOI : 10.1142/3303

S. Markovic and T. Baar, Semantics of OCL specified with QVT, Software and System Modeling, pp.399-422, 2008.

S. Kuske, M. Gogolla, R. Kollmann, and H. Kreowski, An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation, IFM'02, ser. LNCS, 2002.
DOI : 10.1007/3-540-47884-1_2

H. Cho and J. Gray, Design patterns for metamodels, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.25-32, 2011.
DOI : 10.1145/2095050.2095056
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.685.5255

P. Farail, P. Gaufillet, A. Canals, C. L. Camus, D. Sciamma et al., The TOPCASED project: a Toolkit in OPen source for Critical Aeronautic SystEms Design, Embedded Real Time Software (ERTS'06), pp.25-27, 2006.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, 2000.

B. Combemale, X. Crégut, P. Garoche, X. Thirioux, and F. Vernadat, A Property-Driven Approach to Formal Verification of Process Models, Enterprise Information Systems, pp.286-300, 2008.
DOI : 10.1007/978-3-540-88710-2_23
URL : https://hal.archives-ouvertes.fr/hal-00369884

M. Minsky, Matter, mind, and models, Semantic Information Processing, pp.425-432, 1968.

E. A. Lee, Overview of the Ptolemy project, 2003.

A. M. Law and W. D. Kelton, Simulation Modeling and Analysis, 2000.

X. Crégut, B. Combemale, M. Pantel, R. Faudoux, and J. Pavei, Generative Technologies for Model Animation in the TopCased Platform, ECMFA, ser, pp.90-103, 2010.
DOI : 10.1007/978-3-642-13595-8_9

D. A. Sadilek and G. Wachsmuth, Using Grammarware Languages to Define Operational Semantics of Modelled Languages, TOOLS'09, pp.348-356, 2009.
DOI : 10.1007/11663430_17

M. Scheidgen and J. Fischer, Human Comprehensible and Machine Processable Specifications of Operational Semantics, ECMDA-FA, ser. LNCS, 2007.
DOI : 10.1007/978-3-540-72901-3_12