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

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. Bezivin, 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

URL : https://hal.archives-ouvertes.fr/hal-00448109

G. Bracha, Pluggable type systems, Proc. of OOPSLA'04 Workshop on Revival of Dynamic Languages, 2004.

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points, Proc. of 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, Proc. of ECOOP'12, pp.2-27, 2012.

B. C. Oliveira, T. Storm, A. Loh, and W. R. Cook, Feature-Oriented Programming with Object Algebras, Proc. of 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, Proc. of MODELS'10, pp.16-30, 2010.

S. Efftinge, M. Eysholdt, J. Köhnlein, S. Zarnekow, R. Von-massow et al., Xbase, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.112-121, 2012.
DOI : 10.1145/2371401.2371419

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

E. Ernst, Family Polymorphism, Proc. of ECOOP'01, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

J. Estublier and G. Vega, Reuse and variability in large software applications, Proc. of ESEC/FSE'05, pp.316-325, 2005.
DOI : 10.1145/1081706.1081757

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

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

J. Garcia and O. Díaz, Adaptation of transformations to metamodel changes, Desarollo de Software Dirigido por Modelos, pp.1-9, 2010.

D. Gasevi´cgasevi´c, N. Kaviani, and M. Hatala, On Metamodeling in Megamodels, Proc. of MODELS'07, pp.91-105, 2007.

C. Guy, B. Combemale, S. Derrien, R. H. Steel, J. James et al., On Model Subtyping, Proc. of ECMFA'12, 2012.
DOI : 10.1007/978-3-642-31491-9_30

URL : https://hal.archives-ouvertes.fr/hal-00726399

A. Igarashi, C. Saito, and M. Viroli, Lightweight Family Polymorphism, Programming Languages and Systems, pp.161-177, 2005.
DOI : 10.1007/11575467_12

J. Jézéquel, Model driven design and aspect weaving. Software & Systems Modeling, pp.209-218, 2008.

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. Kolovos, L. Rose, N. Matragkas, A. Kusel, J. Schonbock et al., A research roadmap towards achieving scalability in model driven engineering Reuse in model-to-model transformation languages: are we there yet? Software & Systems Modeling, BigMDE'13, pp.1-36, 2013.

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

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of the 8th International Conference on the Unified Modeling Language, Proc. of MODELS/UML'05, pp.264-278, 2005.
DOI : 10.1007/11557432_19

URL : https://hal.archives-ouvertes.fr/hal-00795095

N. Nystrom, S. Chong, and A. C. Myers, Scalable extensibility via nested inheritance, ACM SIGPLAN Notices, vol.39, issue.10, pp.99-115, 2004.
DOI : 10.1145/1035292.1028986

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Odersky, V. Cremet, C. Röckl, and M. Zenger, A Nominal Theory of Objects with Dependent Types, Proc. of ECOOP'03, pp.201-224, 2003.
DOI : 10.1007/978-3-540-45070-2_10

R. Reddy, R. France, S. Ghosh, F. Fleurey, and B. Baudry, Model composition-a signature-based approach, Aspect Oriented Modeling (AOM) Workshop, 2005.

L. M. Rose, D. S. Kolovos, R. F. Paige, and F. A. Polack, Model Migration with Epsilon Flock, Proc. of ICMT '10, pp.184-198, 2010.
DOI : 10.1007/978-3-642-13688-7_13

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. , S. Cuadrado, J. García, and . Molina, Approaches for model transformation reuse: Factorization and composition

J. Sánchez-cuadrado, E. Guerra, and J. De-lara, Generic Model Transformations: Write Once, Reuse Everywhere, Proc. of ICMT'11, pp.62-77, 2011.
DOI : 10.1007/978-3-642-21732-6_5

J. Steel and J. M. , On model typing. Software and Systems Modeling, pp.401-413, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477547

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

W. Sun, B. Combemale, S. Derrien, and R. B. France, Using Model Types to Support Contract-Aware Model Substitutability
DOI : 10.1007/978-3-642-39013-5_9

URL : https://hal.inria.fr/hal-00808770/file/ecmfa13-contractmatching.pdf

D. Varró and A. Pataricza, Generic and Meta-transformations for Model Transformation Engineering, Proc. of UML'04, pp.290-304, 2004.
DOI : 10.1007/978-3-540-30187-5_21

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

M. Wimmer, A. Kusel, W. Retschitzegger, J. Schönböck, W. Schwinger et al., Reusing model transformations across heterogeneous metamodels, Proc. of MPM'11, 2011.