T. Objet and M. Group, The object constraint language, version 2.2, 2010.

P. Klint, T. Van-der, J. J. Storm, and . Vinju, RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009.
DOI : 10.1109/SCAM.2009.28

G. Ro¸suro¸su and T. , An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, pp.397-434, 2010.
DOI : 10.1016/j.jlap.2010.03.012

R. Bendraou, B. Combemale, X. Crégut, and M. Gervais, Definition of an Executable SPEM 2.0, 14th Asia-Pacific Software Engineering Conference (APSEC'07), pp.390-397, 2007.
DOI : 10.1109/ASPEC.2007.60
URL : https://hal.archives-ouvertes.fr/hal-00371555

G. Ro¸suro¸su, C. Ellison, and W. Schulte, Matching logic: An alternative to Hoare/Floyd logic, Proceedings of the 13th International Conference on Algebraic Methodology And Software Technology (AMAST '10), pp.142-162, 2010.

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

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

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.

J. Troya and A. Vallecillo, Towards a Rewriting Logic Semantics for ATL, Lecture Notes in Computer Science, vol.6142, pp.230-244, 2010.
DOI : 10.1007/978-3-642-13688-7_16

A. Boronat, R. Heckel, and J. Meseguer, Rewriting Logic Semantics and Verification of Model Transformations, Lecture Notes in Computer Science, vol.5503, pp.18-33
DOI : 10.1007/978-3-642-00593-0_2

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.

V. Rusu, Embedding domain-specific modelling languages into Maude specifications, ACM Software Engineering Notes, 2011.

G. Taentzer, AGG: A??Graph Transformation Environment for Modeling and Validation of Software, Lecture Notes in Computer Science, vol.3062, pp.446-453
DOI : 10.1007/978-3-540-25959-6_35

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.

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