B. Combemale, X. Crégut, and M. Pantel, A Design Pattern to Build Executable DSMLs and Associated V&V Tools, 2012 19th Asia-Pacific Software Engineering Conference, 2012.
DOI : 10.1109/APSEC.2012.79

. Object-management-group and . Inc, Semantics of a Foundational Subset for Executable UML Models (fUML), v1, 2011.

B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, and B. Baudry, Bridging the Chasm between Executable Metamodeling and Models of Computation, 2012.
DOI : 10.1007/978-3-642-36089-3_11

URL : https://hal.archives-ouvertes.fr/hal-00905067

E. A. Lee and A. L. Sangiovanni-vincentelli, A framework for comparing models of computation, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.17, issue.12, pp.1217-1229, 1998.
DOI : 10.1109/43.736561

A. Jantsch, Modeling Embedded Systems and SoCs, 2004.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proc. of the IEEE, 2003.
DOI : 10.1109/JPROC.2002.805829

G. D. Plotkin, A structural approach to operational semantics, 1981.

G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, On the use of graph transformations for the formal specification of model interpreters, Journal of Universal Computer Science, vol.9, 2003.

R. Bendraou, J. M. Jézéquel, and F. Fleurey, Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution, Trustworthy Software Development Processes, pp.148-160, 2009.
DOI : 10.1007/11568322_5

D. E. Knuth, Semantics of context-free languages, Theory of Computing Systems, pp.127-145, 1968.
DOI : 10.1007/BF01692511

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

D. Gries, The science of programming, 1981.
DOI : 10.1007/978-1-4612-5983-1

G. Winskel, The formal semantics of programming languages: an introduction, 1993.

L. Fredlund, B. Jonsson, and J. Parrow, An implementation of a translational semantics for an imperative language, CONCUR. LNCS, pp.246-262, 1990.
DOI : 10.1007/BFb0039064

D. S. Scott and C. Strachey, Toward a mathematical semantics for computer languages, 1971.

R. Milner, A calculus of communicating systems, 1982.
DOI : 10.1007/3-540-10235-3

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

C. A. Petri, Introduction to general net theory, In: Advanced Course: Net Theory and Applications, pp.1-19, 1975.
DOI : 10.1007/3-540-10001-6_21

G. Winskel, Event structures, Petri Nets: Applications and Relationships to Other Models of Concurrency, 1987.
DOI : 10.1007/3-540-17906-2_31

URL : https://hal.archives-ouvertes.fr/hal-00148921

J. Mccarthy, Towards a Mathematical Science of Computation, Information processing, vol.62, pp.21-28, 1962.
DOI : 10.1007/978-94-011-1793-7_2

F. Boulanger and C. Hardebolle, Simulation of Multi-Formalism Models with ModHel'X, 2008 International Conference on Software Testing, Verification, and Validation, pp.318-327, 2008.
DOI : 10.1109/ICST.2008.15

URL : https://hal.archives-ouvertes.fr/hal-00289188

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, 2008.

P. A. Muller, F. Fleurey, and J. M. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

B. Meyer, Eiffel: the language, 1992.

C. Clifton and G. T. Leavens, Multijava: Modular open classes and symmetric multiple dispatch for java, pp.130-145, 2000.

F. Mallet, J. Deantoni, C. André, and R. De-simone, The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, vol.127, issue.4, pp.99-106, 2010.
DOI : 10.1007/s11334-009-0109-0

URL : https://hal.archives-ouvertes.fr/inria-00464894

J. Deantoni and F. Mallet, ECL: the Event Constraint Language, an Extension of OCL with Events, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00721169

J. M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the kermeta language workbench, SoSyM, 2013.

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, LNCS, vol.7304, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4

URL : https://hal.archives-ouvertes.fr/hal-00688590

E. V. Wyk, O. D. Moor, K. Backhouse, and P. Kwiatkowski, Forwarding in attribute grammars for modular language design, CC'02, pp.128-142, 2002.

T. Ekman and G. Hedin, The JastAdd system ??? modular extensible compiler construction, Science of Computer Programming, vol.69, issue.1-3, pp.14-26, 2007.
DOI : 10.1016/j.scico.2007.02.003

M. Volter, From Programming to Modeling-and Back Again. Software, IEEE, vol.28, issue.6, 2011.

P. Klint, A meta-environment for generating programming environments, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.176-201, 1993.
DOI : 10.1145/151257.151260

J. R. Cordy, C. D. Halpern, and E. Promislow, TXL: a rapid prototyping system for programming language dialects, Conf. Int Computer Languages, pp.280-285, 1988.

J. Sztipanovits and G. Karsai, Model-integrated computing, Computer, vol.30, issue.4, 1997.
DOI : 10.1109/2.585163

J. Tolvanen and M. Rossi, MetaEdit+, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, pp.92-93, 2003.
DOI : 10.1145/949344.949365

S. Cook, G. Jones, S. Kent, and A. Wills, Domain-Specific Development with Visual Studio DSL Tools, 2007.

H. Krahn, B. Rumpe, and S. Volkel, MontiCore: Modular Development of Textual Domain Specific Languages, In: Objects, Components, Models and Patterns. LNBIP, 2008.
DOI : 10.1007/978-3-540-69824-1_17

L. C. Kats and E. Visser, The spoofax language workbench: rules for declarative specification of languages and IDEs, pp.444-463, 2010.

M. Voelter and K. Solomatov, Language Modularization and Composition with Projectional Language Workbenches illustrated with MPS, SLE. LNCS, 2010.

C. Hardebolle and F. Boulanger, MULTI-FORMALISM MODELLING AND MODEL EXECUTION, International Journal of Computers and Applications, vol.31, issue.3, pp.193-203, 2009.
DOI : 10.2316/Journal.202.2009.3.202-2967

URL : https://hal.archives-ouvertes.fr/hal-00421169

I. Sander and A. Jantsch, System Modeling and Transformational Design Refinement in ForSyDe, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.23, issue.1, pp.17-32, 2004.
DOI : 10.1109/TCAD.2003.819898

A. Basu, M. Bozga, and J. Sifakis, Modeling heterogeneous real-time systems in BIP, pp.4-7, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00527491

F. Boulanger, A. Dogui, C. Hardebolle, C. Jacquet, D. Marcadet et al., Semantic Adaptation Using CCSL Clock Constraints, Workshops and Symposia at MODELS 2011, pp.104-118, 2012.
DOI : 10.1007/978-3-642-29645-1_12

URL : https://hal.archives-ouvertes.fr/hal-00740801