L. Fuentes-fernández and A. Vallecillo-moreno, An introduction to uml profiles. UP- GRADE, European Journal for the Informatics Professional, vol.5, issue.2, pp.5-13, 2004.

A. Klint, P. Visser, and J. , omg.org/technology/documents/profile_catalog Domain-specific languages: an annotated bibliography, OMG: UML Profile Catalog, pp.26-36, 2000.

A. Solberg, R. France, and R. Reddy, Navigating the metamuddle, Proceedings of the 4th Workshop in Software Model Engineering, 2005.

I. A. Niaz and J. Tanaka, Code generation from uml statecharts, Proc. 7 th IASTED International Conf. on Software Engineering and Application, pp.315-321, 2003.

Y. , B. G-h-o-s-h, S. E-u-r-e-y, F. E. , and R. , B a r r i e r s to systematic model transformation testing, Communications of the ACM, 2009.

S. Sen, B. Baudry, and J. M. Mottu, On combining mullti-formalism knowledge to select test models for model transformaion testing, ACM/IEEE International Conference on Software Testing, 2008.

S. Sen, B. Baudry, and J. M. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, p.ICMT, 2009.
DOI : 10.1007/11768869_13
URL : https://hal.archives-ouvertes.fr/inria-00468256

P. Kruchten, The Rational Unified Process: An Introduction

T. H. Phan, S. Gerard, and F. Terrier, Real-Time System Modeling with ACCORD/UML Methodology, pp.51-70, 2003.
DOI : 10.1007/1-4020-7991-5_4

B. Frank, Eclipse Modeling Framework. The Eclipse Series, 2004.

P. Farail, P. Gaufillet, A. Canals, L. Camus, C. Sciamma et al., The TOPCASED project: a toolkit in open source for critical aeronautic systems design, Embedded Real Time Software (ERTS), 2006.

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

F. Lagarde, F. Terrier, C. André, and S. Gérard, Extending OCL to Ensure Model Transformations, pp.126-136, 2007.
DOI : 10.1007/978-3-540-76292-8_15

G. Taentzer, K. Ehrig, E. Guerra, J. De-lara, L. Lengyel et al., Model transformation by graph transformation: A comparative study, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, 2005.

X. Limited, Language driven development and xmf-mosaic, 2005.

F. Fleurey, B. Baudry, P. A. Muller, and Y. L. Traon, Towards dependable model transformations: Qualifying input test data, Journal of Software and Systems Modeling, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477567

P. A. Muller, F. Fleurey, and J. M. Jezequel, Weaving executability into objectoriented meta-languages, MoDELS 2005, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

S. Sen, Meta-model pruning kermeta implementation

J. Steel and J. M. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

K. B. Bruce and J. Vanderwaart, Semantics-Driven Language Design:, Electronic Notes in Theoretical Computer Science, vol.20, pp.50-75, 1999.
DOI : 10.1016/S1571-0661(04)80066-5

J. Steel, Typage de modèles, Rennes, vol.1, 2007.