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

J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev et al., Model Transformations? Transformation Models!, MODELS, 2006.
DOI : 10.1007/11880240_31

E. Syriani, A Multi-Paradigm Foundation for Model Transformation Language Engineering, 2011.

O. M. Group, MDA Guide (version 1.0.1), 2003.

A. G. Kleppe, J. Warmer, and W. Bast, MDA Explained ? The Model Driven Architecture: Practice and Promise, 2003.

L. Tratt, Model transformations and tool integration, Software & Systems Modeling, vol.47, issue.2, pp.112-122, 2005.
DOI : 10.1145/242224.242477

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

G. Rozenberg and E. , Handbook of Graph Grammars and Computing by Graph Transformation, 1997.
DOI : 10.1142/3303

S. Jurack and G. Taentzer, A Component Concept for Typed Graphs with Inheritance and Containment Structures, ICGT, 2010.
DOI : 10.1007/978-3-642-15928-2_13

G. Taentzer, AGG: A Tool Environment for Algebraic Graph Transformation, AGTIVE, pp.333-341, 2000.
DOI : 10.1007/3-540-45104-8_41

J. De-lara and H. Vangheluwe, Using ATOM 3 as a Meta-CASE Tool, ICEIS, pp.642-649, 2002.

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.1-2, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

M. Maximova, H. Ehrig, and C. Ermel, Formal Relationship between Petri Net and Graph Transformation Systems Based on Functors between M-Adhesive Categories, PN-GT, pp.23-40, 2010.

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

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

R. Paige, D. Kolovos, and F. Polack, Adding an Action Semantics to MOF 2.0, SAC, 2006.

M. Yang, G. J. Michaelson, and R. J. Pooley, Formal Action Semantics for a UML Action Language, J.UCS, vol.14, issue.21, pp.3608-3624, 2008.

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

H. Ehrig, G. Taentzer, J. De-lara, D. Varró, and S. Varró-gyapai, Termination Criteria for Model Transformation, FASE, 2005.
DOI : 10.1007/978-3-540-31984-9_5

D. Varró, S. Varró-gyapai, H. Ehrig, U. Prange, and G. Taentzer, Termination Analysis of Model Transformations by Petri Nets, ICGT, pp.260-274, 2006.
DOI : 10.1007/11841883_19

H. S. Bruggink, Towards a Systematic Method for Proving Termination of Graph Transformation Systems, Electronic Notes in Theoretical Computer Science, vol.213, issue.1, 2008.
DOI : 10.1016/j.entcs.2008.04.072

J. M. Küster, Definition and validation of model transformations, Software & Systems Modeling, vol.44, issue.2, pp.233-259, 2006.
DOI : 10.1007/s10270-006-0018-8

F. Spoto, P. M. Hill, and E. Payet, Path-Length Analysis of Object- Oriented Programs, EAAI, 2006.

J. Berdine, B. Cook, D. Distefano, and P. W. O-'hearn, Automatic Termination Proofs for Programs with Shape-Shifting Heaps, Computer- Aided Verification (CAV), ser. LNCS, pp.386-400, 2006.
DOI : 10.1007/11817963_35

]. B. Barroca, L. Lúcio, V. Amaral, R. Félix, and V. Sousa, DSLTrans: A Turing Incomplete Transformation Language, SLE, 2010.
DOI : 10.1007/978-3-642-19440-5_19

M. Chechik, S. Nejati, and M. Sabetzadeh, A relationship-based approach to model integration, Innovations in Systems and Software Engineering, vol.11, issue.3, 2011.
DOI : 10.1007/s11334-011-0155-2

S. Katz, Aspect Categories and Classes of Temporal Properties, pp.106-134, 2006.
DOI : 10.1145/1018203.1018208

T. Molderez, H. Schippers, D. Janssens, H. Michael, and R. Hirschfeld, A Platform for Experimenting with Language Constructs for Modularizing Crosscutting Concerns, WASDETT, 2010.

A. Boronat, MOMENT: A Formal Framework for MOdel manageMENT, 2007.

L. Lambers, H. Ehrig, and F. Orejas, Efficient Detection of Conflicts in Graph-based Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, 2006.
DOI : 10.1016/j.entcs.2006.01.017

E. Biermann, Local Confluence Analysis of Consistent EMF Transformations, ECEASST, vol.38, pp.68-84, 2011.

R. Grønmo, R. Runde, and B. Møller-pedersen, Confluence of aspects for sequence diagrams, Software & Systems Modeling, vol.16, issue.3, pp.1-36, 2011.
DOI : 10.1007/s10270-011-0212-1

D. Akehurst, S. Kent, and O. Patrascoiu, A relational approach to defining and implementing transformations between metamodels, Software & Systems Modeling, vol.Record, issue.4, pp.215-239, 2003.
DOI : 10.1007/s10270-003-0032-z

A. Narayanan and G. Karsai, Verifying Model Transformation By Structural Correspondence, pp.15-29, 2008.

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

L. Lúcio, B. Barroca, and V. Amaral, A Technique for Automatic Validation of Model Transformations, MODELS, 2010.
DOI : 10.1007/978-3-642-16145-2_10

T. Kühne, G. Mezei, E. Syriani, H. Vangheluwe, and M. Wimmer, Systematic Transformation Development, ECEASST, vol.21, 2009.

T. Levendovszky, L. Lengyel, and T. Mészáros, Supporting domain-specific model patterns with metamodeling, Software & Systems Modeling, vol.2, issue.3, 2009.
DOI : 10.1007/s10270-009-0118-3

A. Narayanan and G. Karsai, Towards Verifying Model Transformations, Electronic Notes in Theoretical Computer Science, vol.211, pp.191-200, 2008.
DOI : 10.1016/j.entcs.2008.04.041
URL : http://doi.org/10.1016/j.entcs.2008.04.041

D. Varró and A. Pataricza, Automated Formal Verification of Model Transformations, CSDUML, pp.63-78, 2003.

B. Becker, D. Beyer, H. Giese, F. Klein, and D. Schilling, Symbolic invariant verification for systems with dynamic structural adaptation, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134297

J. Padberg, M. Gajewsky, and C. Ermel, Refinement versus Verification: Compatibility of Net Invariants and Stepwise Development of High- Level Petri Nets, 1997.

T. Massoni, R. Gheyi, and P. Borba, Formal Refactoring for UML Class Diagrams, BSSE, pp.152-167, 2005.

D. Plump, Termination of Graph Rewriting is Undecidable, Fundamenta Informaticae, vol.33, issue.2, pp.201-209, 1998.

M. H. Newman, On Theories with a Combinatorial Definition of "Equivalence", The Annals of Mathematics, vol.43, issue.2, pp.223-243, 1942.
DOI : 10.2307/1968867

R. Heckel, J. M. Küster, and G. Taentzer, Confluence of Typed Attributed Graph Transformation Systems, ICGT, 2002.
DOI : 10.1007/3-540-45832-8_14

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

A. Gargantini, E. Riccobene, and P. Scandurra, Combining Formal Methods and MDE Techniques for Model-Driven System Design and Analysis, JAS, vol.3, issue.12, pp.1-18, 2010.

J. E. Rivera, F. Durán, and A. Vallecillo, Formal Specification and Analysis of Domain Specific Models Using Maude, SIMULATION, vol.85, issue.11-12, pp.11-12, 2009.
DOI : 10.1177/0037549709341635

K. Stenzel, N. Moebius, and W. Reif, Formal Verification of QVT Transformations for Code Generation Model Checking Graph Transformations: A Comparison of Two Approaches, MODELS ICGT, 2004.

M. Asztalos, L. Lengyel, and T. Levendovszky, Towards Automated, Formal Verification of Model Transformations, 2010 Third International Conference on Software Testing, Verification and Validation, 2010.
DOI : 10.1109/ICST.2010.42

R. F. Paige, P. J. Brooke, and J. S. Ostroff, Metamodel-Based Model Conformance and Multi-View Consistency Checking, ACM TOSEM, vol.16, issue.3, pp.1-48, 2007.

H. Giese, S. Glesner, J. Leitner, W. Schäfer, and R. Wagner, Towards Verified Model Transformations, MODEVVA, pp.78-93, 2006.

J. De-lara and H. Vangheluwe, Automating the transformation-based analysis of visual languages, Formal Aspects of Computing, vol.30, issue.5, pp.297-326, 2010.
DOI : 10.1007/s00165-009-0114-y

K. Anastasakis, B. Bordbar, and J. M. Küster, Analysis of Model Transformations via Alloy, MODEVVA, pp.47-56, 2007.

G. Yorsh, T. Ball, and M. Sagiv, Testing, abstraction, theorem proving, Proceedings of the 2006 international symposium on Software testing and analysis , ISSTA'06, pp.145-156, 2006.
DOI : 10.1145/1146238.1146255