A. Project, Internet: http://www.eclipse.org/gmt, 2009.

Z. Atl-transformations, Internet: http://www.eclipse.org/m2m, 2009.

M. Barbero, F. Jouault, and J. Bézivin, Model Driven Management of Complex Systems: Implementing the Macroscope's Vision, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), 2008.
DOI : 10.1109/ECBS.2008.42

J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev et al., Model Transformations? Transformation Models!, Lecture Notes in Computer Science, vol.4199, pp.440-453, 2006.
DOI : 10.1007/11880240_31

J. Bézivin and F. Jouault, KM3: a DSL for Metamodel Specification, 8th IFIP, pp.171-185, 2006.

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Lecture Notes in Computer Science, vol.3599, pp.33-46, 2004.
DOI : 10.1007/11538097_3

L. Cardelli, Typechecking dependent types and subtypes
DOI : 10.1007/3-540-19129-1_2

L. Cardelli, Type systems, The Computer Science and Engineering Handbook, pp.2208-2236, 1997.
DOI : 10.1145/234313.234418

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

J. Favre, Towards a Basic Theory to Model Model Driven Engineering, 3rd Workshop in Software Model Engineering, 2004.

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

F. Jouault and I. Kurtev, Transforming Models with ATL, MoDELS Satellite Events, pp.128-138, 2005.
DOI : 10.1007/11663430_14

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

I. Poernomo, A Type Theoretic Framework for Formal Metamodelling, Architecting Systems with Trustworthy Components, pp.262-298, 2006.
DOI : 10.5381/jot.2002.1.4.c4

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-413, 2007.
DOI : 10.1007/s10270-006-0036-6

URL : https://hal.archives-ouvertes.fr/inria-00477547

B. Vanhooff, D. Ayed, S. V. Baelen, W. Joosen, and Y. Berbers, UniTI: A Unified Transformation Infrastructure, MoDELS, pp.31-45, 2007.
DOI : 10.1007/978-3-540-75209-7_3

B. Werner, Une Théorie des Constructions Inductives, Thèse de doctorat, 1994.

E. D. Willink, OMELET: Exploiting Meta-Models as Type Systems

A. K. Wright and M. Felleisen, A Syntactic Approach to Type Soundness, Information and Computation, vol.115, issue.1, pp.38-94, 1994.
DOI : 10.1006/inco.1994.1093