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

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude, A High- Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007.

M. Egea and V. Rusu, Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, pp.73-81, 2010.
DOI : 10.1007/s11334-009-0108-1
URL : https://hal.archives-ouvertes.fr/inria-00527502

J. Meseguer, Membership algebra as a logical framework for equational specification, Lecture Notes in Computer Science, vol.1376, pp.18-61, 1997.
DOI : 10.1007/3-540-64299-4_26

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, vol.4, issue.9, pp.943-958, 2009.
DOI : 10.4304/jsw.4.9.943-958
URL : https://hal.archives-ouvertes.fr/hal-00371553

K. Ogata and K. Futatsugi, Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method, Electronic Notes in Theoretical Computer Science, vol.201, pp.127-154, 2008.
DOI : 10.1016/j.entcs.2008.02.018

M. Clavel, M. Palomino, and A. Riesco, Introducing the ITP tool: a tutorial, J. Universal Computer Science, vol.12, issue.11, pp.1618-1650, 2006.

V. Rusu, J. ?. Rivera, F. Durán, and A. Vallecillo, Combining narrowing and theorem proving for rewriting-logic specifications Formal specification and analysis of domain specific languages using Maude, Tests and Proofs, pp.135-15011, 2009.

A. Boronat and J. Meseguer, An algebraic semantics for MOF. Formal Aspects of Computing, pp.269-296, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00567269

M. Egea, An executable formal semantics for OCL with aopplications to model analysis and validation, 2008.

M. Gogolla and M. Richters, Transformation Rules for UML Class Diagrams, Lecture Notes in Computer Science, vol.1618, pp.92-106, 1998.
DOI : 10.1007/978-3-540-48480-6_8

J. Bergstra and J. Tucker, Characterization of computable data types by means of a finite equational specification method, International Conference on Automata, Languages and Programming, pp.76-90, 1980.

M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln et al., Unification and Narrowing in Maude 2.4, Lecture Notes in Computer Science, vol.20, issue.1-2, pp.380-390, 2009.
DOI : 10.1007/3-540-45446-2_27

R. Bendraou, B. Combemale, X. Crégut, M. Gervais, ?. E. Rivera et al., Definition of an eXecutable SPEM2.0 Extending visual modeling languages with timed behavior specifications, 14th APSEC, Japan CIbSE, pp.87-100, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00371555

A. Boronat and P. Ölveczky, Formal Real-Time Model Transformations in MOMENT2, Lecture Notes in Computer Science, vol.6013, pp.29-43, 2010.
DOI : 10.1007/978-3-642-12029-9_3

J. De-lara and H. Vangheluwe, Defining visual notations and their manipulation through meta-modelling and graph transformation, Journal of Visual Languages & Computing, vol.15, issue.3-4, pp.3-4309, 2006.
DOI : 10.1016/j.jvlc.2004.01.005

A. Agrawal, G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, The design of a language for model transformations, Software and System Modeling, pp.261-288, 2006.
DOI : 10.1007/s10270-006-0027-7

G. Csertán, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza et al., VIATRA - visual automated transformations for formal verification and validation of UML models, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.267-270, 2002.
DOI : 10.1109/ASE.2002.1115027

G. Rangel, L. Lambers, B. König, H. Ehrig, and P. Baldan, Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts, Hartmut Ehrig, pp.242-256, 2008.
DOI : 10.1007/978-3-540-87405-8_17

D. Bisztray, R. Heckel, and H. Ehrig, Verification of Architectural Refactorings: Rule Extraction and Tool Support, ECEASST, vol.16, 2008.
DOI : 10.1007/978-3-540-87405-8_37

I. Poernomo, The meta-object facility typed, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1845-1849, 2006.
DOI : 10.1145/1141277.1141710

I. Poernomo and J. Terrell, Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq, Lecture Notes in Computer Science, vol.6447, pp.56-73, 2010.
DOI : 10.1007/978-3-642-16901-4_6

C. Fiorentini, A. Momigliano, M. Ornaghi, and I. Poernomo, A Constructive Approach to Testing Model Transformations, Theory and Practice of Model Transformations (ICMT'10), pp.77-92, 2010.
DOI : 10.1007/978-3-642-13688-7_6

P. Muller, F. Fleurey, and J. 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

V. Rusu, Embedding domain-specific modelling languages into Maude specifications, ACM Software Engineering Notes, vol.36, issue.1, 2011.
DOI : 10.1145/1921532.1921557
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.654.6727

A. Hegedüs, G. Bergmann, I. Ráth, and D. Varró, Backannotation of simulation traces with change-driven model transformations, SEFM'10, 2010.

E. Guerra, J. De-lara, A. Malizia, and P. D´nazd´naz, Supporting user-oriented analysis for multi-view domain-specific visual languages, Information and Software Technology, vol.51, issue.4, pp.769-784, 2009.
DOI : 10.1016/j.infsof.2008.09.005

J. Moe and D. A. Carr, Understanding distributed systems via execution trace data, Proceedings of the 9th International Workshop on Program Comprehension IWPC'01, 2001.

B. Combemale, L. Gonnord, and V. Rusu, A Generic Tool for Tracing Executions Back to a DSML???s Operational Semantics, Lecture Notes in Computer Science, vol.6698, pp.35-51, 2011.
DOI : 10.1007/978-3-642-21470-7_4