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

J. Eduardo-rivera, F. Durán, and A. Vallecillo, Formal specification and analysis of domain specific languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International, pp.11-12778, 2009.

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, An executable formal semantics for OCL with aopplications to model analysis and validation, 2008.

M. Egea and V. Rusu, Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, vol.16, issue.3, pp.73-81, 2010.
DOI : 10.1007/s11334-009-0108-1

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

J. Meseguer, M. Palomino, and N. Martí-oliet, Algebraic simulations, The Journal of Logic and Algebraic Programming, vol.79, issue.2, pp.103-143, 2010.
DOI : 10.1016/j.jlap.2009.07.003

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

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

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

J. Eduardo-rivera, C. Vicente-chicote, and A. Vallecillo, Extending visual modeling languages with timed behavior specifications, CIbSE, pp.87-100, 2009.

A. Boronat and P. C. Ö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.

G. Csertán, G. Huszerl, I. Majzik, and Z. Pap, András Pataricza, and Dániel Varró. VIATRA -visual automated transformations for formal verification and validation of UML models, ASE, pp.267-270, 2002.

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, p.16, 2008.
DOI : 10.1007/978-3-540-87405-8_37

X. Benoît-combemale, P. Crégut, X. Garoche, and . 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

C. Fiorentini, A. Momigliano, M. Ornaghi, and I. Poernomo, A Constructive Approach to Testing Model Transformations, Theory and Practice of Model Transformations, Third International Conference (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

J. Troya and A. Vallecillo, Towards a Rewriting Logic Semantics for ATL, Theory and Practice of Model Transformations, Third International Conference (ICMT'10), pp.230-244, 2010.
DOI : 10.1007/978-3-642-13688-7_16