E. Balland, C. Kirchner, and P. Moreau, Formal Islands, Proceedings of the 11th international conference on algebraic methodology and software technology, pp.51-65, 2006.
DOI : 10.1007/11784180_7
URL : https://hal.archives-ouvertes.fr/inria-00001146

E. Balland, P. Moreau, and A. Reilles, Rewriting Strategies in Java, Electronic Notes in Theoretical Computer Science, vol.219, pp.97-111, 2008.
DOI : 10.1016/j.entcs.2008.10.037
URL : https://hal.archives-ouvertes.fr/inria-00274919

E. Balland, P. Moreau, and A. Reilles, Effective strategic programming for Java developers, Software: Practice and Experience, vol.1702, issue.5, 2012.
DOI : 10.1002/spe.2159
URL : https://hal.archives-ouvertes.fr/hal-01265319

A. Boronat and J. Meseguer, MOMENT2: EMF Model Transformations in Maude, Jisbd, pp.178-179, 2009.

M. Brand, . Van-den, J. Heering, P. Klint, and P. Olivier, Compiling language definitions: the ASF+SDF compiler, ACM Transactions on Programming Languages and Systems, vol.24, issue.4, pp.334-368, 2002.
DOI : 10.1145/567097.567099
URL : https://hal.archives-ouvertes.fr/inria-00101029

M. Clavel, S. Eker, P. Lincoln, and J. Meseguer, Principles of Maude, RWLW96, First International Workshop on Rewriting Logic and its Applications, pp.65-89, 1996.
DOI : 10.1016/S1571-0661(04)00034-9

B. Combemale, Approche de métamodélisation pour la simulation et la vérification de modèle ? Application à l'ingénierie des procédés, 2008.

J. Falleri, M. Huchard, and C. Nebut, Towards a traceability framework for model transformations in kermeta, Ecmda-tw'06: Ecmda traceability workshop, pp.31-40, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00102855

Z. Hemel, L. C. Kats, D. M. Groenewegen, and E. Visser, Code generation by model transformation: a case study in transformation modularity, Software and System Modeling, pp.375-402, 2010.
DOI : 10.1007/s10270-009-0136-1

E. Jakumeit, S. Buchwald, and M. Kroll, GrGen.NET, International Journal on Software Tools for Technology Transfer, vol.68, issue.3, pp.263-271, 2010.
DOI : 10.1007/s10009-010-0148-8

J. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with Kermeta, Proceedings of the 3rd international summer school conference on Generative and Transformational Techniques in Software Engineering III, pp.201-221, 2011.

F. Jouault, Loosely Coupled Traceability for ATL, proceedings of the european conference on model driven architecture (ecmda) workshop on traceability, pp.29-37, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448118

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, 01 juin) ATL: A model transformation tool, Science of Computer Programming, vol.72, pp.1-2, 2008.

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

C. Kirchner, P. Moreau, and C. Tavares, A Type System for Tom, Rule, pp.51-63, 2009.
DOI : 10.4204/EPTCS.21.5
URL : https://hal.archives-ouvertes.fr/inria-00426439

P. Klint, T. Storm, . Van-der, and J. J. 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

P. Moreau, C. Ringeissen, and M. Vittek, A pattern matching compiler for multiple target languages, Proceedings of the 12th international conference on compiler construction, pp.61-76, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099427

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. R. Romero, J. E. Rivera, F. Durán, 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

V. Rusu, Embedding domain-specific modelling languages in Maude specifications, Software & Systems Modeling, vol.51, issue.4, pp.1-8, 2011.
DOI : 10.1007/s10270-012-0232-5
URL : https://hal.archives-ouvertes.fr/inria-00527859

A. Schürr and F. Klar, 15 Years of Triple Graph Grammars, Icgt, pp.411-425, 2008.
DOI : 10.1007/978-3-540-87405-8_28

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

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

G. Taentzer, What Algebraic Graph Transformations Can Do For Model Transformations, ECEASST, vol.30, 2010.

D. Varró and A. Balogh, The model transformation language of the VIATRA2 framework, Science of Computer Programming, vol.68, issue.3, pp.214-234, 2007.
DOI : 10.1016/j.scico.2007.05.004

D. Varró, G. Varró, and A. Pataricza, Designing the automatic transformation of visual languages, Science of Computer Programming, vol.44, issue.2, pp.205-227, 2002.
DOI : 10.1016/S0167-6423(02)00039-4

E. Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, Rewriting techniques and applications, pp.357-361, 2001.
DOI : 10.1007/3-540-45127-7_27

E. Visser, Program Transformation with Stratego/XT Domain-specific program generation, pp.216-238, 2004.
DOI : 10.1007/978-3-540-25935-0_13