C. Atkinson and T. Kühne, Profiles in a strict metamodeling framework, Science of Computer Programming, vol.44, issue.1, pp.5-22, 2002.
DOI : 10.1016/S0167-6423(02)00029-1

F. Basciani, D. Di-ruscio, L. Iovino, and A. Pierantonio, Automated Chaining of Model Transformations with Incompatible Metamodels, Proceedings of the 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS'14), pp.602-618, 2014.
DOI : 10.1007/978-3-319-11653-2_37

T. Berners-lee, R. Fielding, and L. Masinter, RFC 2396: Uniform resource identifiers (URI): Generic Syntax, 1998.
DOI : 10.17487/rfc2396

J. Bézivin and O. Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-280, 2001.
DOI : 10.1109/ASE.2001.989813

J. Bézivin, F. Jouault, and D. Touzet, Principles, Standards and Tools for Model Engineering, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pp.28-29, 2005.
DOI : 10.1109/ICECCS.2005.68

A. Blouin and O. Beaudoux, Improving modularity and usability of interactive systems with Malai, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '10, pp.115-124, 2010.
DOI : 10.1145/1822018.1822037
URL : https://hal.archives-ouvertes.fr/inria-00477627

G. Bracha, Pluggable Type Systems, Proceedings of the International Workshop on Revival of Dynamic Languages at OOPSLA'04, 2004.

L. Cardelli and P. Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, vol.17, issue.4, pp.471-523, 1985.
DOI : 10.1145/6041.6042

A. Cicchetti, D. Di-ruscio, R. Eramo, and A. Pierantonio, Automating Co-evolution in Model-Driven Engineering, 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp.222-231, 2008.
DOI : 10.1109/EDOC.2008.44

M. L. Crane and J. Dingel, UML vs. Classical vs. Rhapsody Statecharts: Not All Models Are Created Equal, Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MODELS'05), pp.97-112, 2005.

J. S. Cuadrado, E. Guerra, and J. De-lara, A Component Model for Model Transformations, IEEE Transactions on Software Engineering, vol.40, issue.11, pp.1042-1060, 2014.
DOI : 10.1109/TSE.2014.2339852

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points, Proceedings of the 3rd European Conference on Model Driven Architecture ? Foundations and Applications (ECMDA- FA'07), pp.68-82, 2007.
DOI : 10.1007/978-3-540-72901-3_6

B. C. Oliveira and W. R. Cook, Extensibility for the Masses ? Practical Extensibility with Object Algebras, Proceedings of the 26th European Conference on Object-Oriented Programming, pp.2-27

B. C. Oliveira, T. Storm, A. Loh, and W. R. Cook, Feature-Oriented Programming with Object Algebras, Proceedings of the 27th European Conference on Object-Oriented Programming (ECOOP'13), pp.27-51, 2013.
DOI : 10.1007/978-3-642-39038-8_2
URL : https://hal.archives-ouvertes.fr/hal-00923387

J. , D. Lara, and E. Guerra, Generic Meta-modelling with Concepts, Templates and Mixin Layers, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), pp.16-30, 2010.

J. Lara, E. Guerra, J. Sánchez, and . Cuadrado, A-posteriori Typing for Model-Driven Engineering, Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS'15), pp.156-165, 2015.

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Melange: A Meta-language for Modular and Reusable Development of DSLs, Proceedings of the 8th International Conference on Software Language Engineering (SLE'15), pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

D. Di-ruscio, L. Iovino, and A. Pierantonio, Coupled Evolution in Model-Driven Engineering, IEEE Software, vol.29, issue.6, pp.78-84, 2012.
DOI : 10.1109/MS.2012.153

L. Diekmann and L. Tratt, Eco: A Language Composition Editor, Proceedings of the 7th International Conference on Software Language Engineering (SLE'14), pp.82-101
DOI : 10.1007/978-3-319-11245-9_5

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

E. Ernst, Family Polymorphism, Proceedings of the 15th European Conference on Object-Oriented Programming, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

M. Eysholdt and H. Behrens, Xtext, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '10, pp.307-309, 2010.
DOI : 10.1145/1869542.1869625

J. Favre, Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon, Dagstuhl Reports, 2004.

R. B. Findler, M. Flatt, and M. Felleisen, Semantic Casts: Contracts and Structural Subtyping in a Nominal World, Proceedings of the 18th European Conference on Object-Oriented Programming, pp.365-389, 2004.
DOI : 10.1007/978-3-540-24851-4_17

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1994.

J. Garcia and O. Díaz, Adaptation of Transformations to Metamodel Changes, Desarollo de Software Dirigido por Modelos, pp.1-9, 2010.

D. Gasevi?, N. Kaviani, and M. Hatala, On Metamodeling in Megamodels, Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MODELS'07), pp.91-105, 2007.

A. Gill, Introduction to the Theory of Finite-state Machines, 1962.

C. Guy, B. Combemale, S. Derrien, J. R. Steel, and J. Jézéquel, On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12), pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011.
DOI : 10.1145/1985793.1985858

C. Jeanneret, M. Glinz, and B. Baudry, Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091

J. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, Software and Systems Modeling (SoSyM), pp.905-920, 2015.

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. Kerboeuf and J. Babau, A DSML for reversible transformations, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.1-6, 2011.
DOI : 10.1145/2095050.2095057
URL : https://hal.archives-ouvertes.fr/hal-00631306

D. S. Kolovos, R. F. Paige, and F. A. Polack, The Epsilon Transformation Language, Proceedings of the 1st International Conference on Theory and Practice of Model Transformations (ICMT'08), pp.46-60, 2008.
DOI : 10.1007/978-3-540-69927-9_4

T. Kühne, On model compatibility with referees and contexts, Software and Systems Modeling (SoSyM), pp.475-488, 2013.
DOI : 10.1007/s10270-012-0241-4

R. Lämmel and K. Ostermann, Software extension and integration with type classes, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.161-170, 2006.
DOI : 10.1145/1173706.1173732

F. Latombe, X. Crégut, B. Combemale, J. Deantoni, and M. Pantel, Weaving Concurrency in Executable Domain-specific Modeling Languages, Proceedings of the 8th International Conference on Software Language Engineering (SLE'15), pp.125-136, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185911

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892

N. Nystrom, S. Chong, and A. C. Myers, Scalable Extensibility via Nested Inheritance, Proceedings of the 19th International Conference on Object- Oriented Programming Systems Languages and Applications, pp.99-115, 2004.

M. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types, Proceedings of the 17th European Conference on Object-Oriented Programming (ECOOP'03), pp.201-224, 2003.
DOI : 10.1007/978-3-540-45070-2_10

O. Meta, Object Facility (MOF) 2.0 Core Specification, 2006.

E. Roche and Y. Schabes, Finite-state Language Processing, 1997.

L. Rose, E. Guerra, J. D. Lara, A. Etien, D. Kolovos et al., Genericity for model management operations. Software & Systems Modeling, pp.201-219, 2013.

L. M. Rose, D. S. Kolovos, R. F. Paige, and F. A. Polack, Model Migration with Epsilon Flock, Proceedings of the 4th International Conference on Model Transformation (ICMT'10), pp.184-198, 2010.
DOI : 10.1007/978-3-642-13688-7_13

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 2004.

C. Saito, A. Igarashi, and M. Viroli, Lightweight family polymorphism, Journal of Functional Programming, vol.1, issue.03, pp.285-331, 2008.
DOI : 10.1145/503502.503505

J. , S. Cuadrado, J. García, and . Molina, Approaches for Model Transformation Reuse: Factorization and Composition, Proceedings of the 1st International Conference on Model Transformations (ICMT'08), pp.168-182, 2008.

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

S. Sen, N. Moha, B. Baudry, and J. Jézéquel, Meta-model Pruning, Proceedings of the 12th Internal Conference on Model Driven Engineering Languages and Systems, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

J. Steel and J. M. , On model typing, Software and Systems Modeling (SoSyM), pp.401-413, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

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

W. Sun, B. Combemale, S. Derrien, and R. B. France, Using Model Types to Support Contract-Aware Model Substitutability, Proceedings of the 9th European Conference on Modelling Fundations and Applications (ECMFA'13), pp.118-133, 2013.
DOI : 10.1007/978-3-642-39013-5_9

D. Varró and A. Pataricza, Generic and Meta-transformations for Model Transformation Engineering, Proceedings of the 7th International Conference on UML Modelling Languages and Applications, pp.290-304, 2004.
DOI : 10.1007/978-3-540-30187-5_21

W. Schema, Part 0: Primer Second Edition, 2001.

G. Wachsmuth, Metamodel Adaptation and Model Co-adaptation, Proceedings of the 21st European Conference on Object-Oriented Programming, pp.600-624, 2007.
DOI : 10.1007/978-3-540-73589-2_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2222