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

A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard, Templatable Metamodels for Semantic Variation Points, 2007.
DOI : 10.1007/978-3-540-72901-3_6

S. Cuadrado, J. García-molina, and J. , Approaches for model transformation reuse: Factorization and composition, In: ICMT, 2008.

J. De-lara and E. Guerra, Generic Meta-modelling with Concepts, Templates and Mixin Layers, In: MODELS: Part I. MODELS, 2010.
DOI : 10.1007/978-3-642-16145-2_2

C. Guy, B. Combemale, S. Derrien, J. Steel, and J. M. , On Model Subtyping, In: ECMFA. Number LNCS, vol.7349, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30

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

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

E. Ernst, Family Polymorphism, Object Oriented Programming, pp.303-326, 2001.
DOI : 10.1007/3-540-45337-7_17

K. B. Bruce, A. Schuett, R. Van-gent, and A. Fiech, PolyTOIL, ACM Transactions on Programming Languages and Systems, vol.25, issue.2, 2003.
DOI : 10.1145/641888.641891

B. Liskov and J. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

W. Sun, R. France, and I. Ray, Rigorous Analysis of UML Access Control Policy Models, 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, pp.9-16, 2011.
DOI : 10.1109/POLICY.2011.30

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On challenges of model transformation from UML to Alloy, Software & Systems Modeling, vol.45, issue.15, pp.69-86, 2010.
DOI : 10.1007/s10270-008-0110-3

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

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into object-oriented metalanguages, Model Driven Engineering Languages and Systems, pp.264-278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

B. Meyer, Design By Contract. The Eiffel Method, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176), pp.446-446, 1998.
DOI : 10.1109/TOOLS.1998.711043

T. Kühne, On model compatibility with referees and contexts. Software & Systems Modeling, pp.1-14, 2012.

B. Vanhooff, D. Ayed, S. Van-baelen, W. Joosen, and Y. Berbers, UniTI: A Unified Transformation Infrastructure, Model Driven Engineering Languages and Systems, pp.31-45, 2007.
DOI : 10.1007/978-3-540-75209-7_3

V. Aranega, A. Etien, and S. Mosser, Using Feature Model to Build Model Transformation Chains, Model Driven Engineering Languages and Systems, pp.562-578, 2012.
DOI : 10.1007/978-3-642-33666-9_36

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

A. Yie, R. Casallas, D. Deridder, and D. Wagelaar, Realizing model transformation chain interoperability. Software and Systems Modeling, pp.1-21, 2012.