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), pp.31-35, 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!, Model Driven Engineering Languages and Systems, 9th International Conference Proceedings, volume 4199 of Lecture Notes in Computer Science, pp.440-453, 2006.
DOI : 10.1007/11880240_31

J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez, Modeling in the Large and Modeling in the Small, Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, pp.33-46, 2003.
DOI : 10.1007/11538097_3

L. Cardelli, Typechecking dependent types and subtypes, Foundations of Logic and Functional Programming Proceedings, pp.45-57, 1986.
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 J. Bézivin, KM3: A DSL for Metamodel Specification, 8th IFIP WG 6.1 International Conference Proceedings, pp.171-185, 2006.
DOI : 10.1007/11663430_18
URL : https://hal.archives-ouvertes.fr/hal-00448119

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

Z. Luo, ECC, an extended calculus of constructions, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, 1990.
DOI : 10.1109/LICS.1989.39193

D. B. Macqueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '86, pp.277-286, 1986.
DOI : 10.1145/512644.512670

M. Ist-fp6-european and . Project, Internet: https://www.modelplex-ist, 2009.

M. Project, Deliverable D2.1.b: Model Management Supporting Tool Internet: https://www.modelplex.org//index.php?option=com remository&Itemid=0&func =startdown&id=183, 2009.

G. D. Plotkin, Call-by-name, call-by-value and the ??-calculus, Theoretical Computer Science, vol.1, issue.2, pp.125-159, 1975.
DOI : 10.1016/0304-3975(75)90017-1

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

J. E. Rivera, D. Ruiz-gonzález, F. López-romero, and A. Vallecillo, Orchestrating ATL Model Transformations, 1st International Workshop on Model Transformation with ATL Proceedings, pp.34-46, 2009.

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, Model Driven Engineering Languages and Systems, 10th International Conference Proceedings, volume 4735 of Lecture Notes in Computer Science, pp.31-45, 2007.
DOI : 10.1007/978-3-540-75209-7_3

A. Vignaga, Typing Textual Entities and M2T/T2M Transformations in a Model Management Environment, 2009 International Conference of the Chilean Computer Science Society, pp.115-122, 2009.
DOI : 10.1109/SCCC.2009.25

A. Vignaga and M. C. Bastarrica, Verification of Megamodel Manipulations Involving Weaving Models, 2009.

A. Vignaga, F. Jouault, M. C. Bastarrica, and H. Brunelì-ere, Typing in Model Management, Theory and Practice of Model Transformations, Second International Conference, pp.197-212, 2009.
DOI : 10.1006/inco.1994.1093
URL : https://hal.archives-ouvertes.fr/hal-00782260

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

E. D. Willink, OMELET: Exploiting Meta-Models as Type Systems, pp.160-164, 2004.

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