C. Atkinson, D. Stoll, G. Bergmann, ´. A. Horváth, I. Ráth et al., Orthographic modeling environment A benchmark evaluation of incremental pattern matching in graph transformation, Fundamental Approaches to Software Engineering 4th International Conference on Graph Transformations, pp.93-96, 2008.

J. Bézivin, On the unification power of models. Software and Systems Modeling, pp.171-188, 2005.

V. Cortellessa and R. Mirandola, Deriving a queueing network based performance model from UML diagrams, Proceedings of the second international workshop on Software and performance , WOSP '00, pp.58-70, 2000.
DOI : 10.1145/350391.350406

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

A. Davis, S. Overmyer, K. Jordan, J. Caruso, F. Dandashi et al., Identifying and measuring quality in a software requirements specification, [1993] Proceedings First International Software Metrics Symposium, pp.141-152, 1993.
DOI : 10.1109/METRIC.1993.263792

A. Egyed, Instant consistency checking for the UML, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.381-390, 2006.
DOI : 10.1145/1134285.1134339

A. Egyed, Fixing Inconsistencies in UML Design Models, 29th International Conference on Software Engineering (ICSE'07), pp.292-301, 2007.
DOI : 10.1109/ICSE.2007.38

M. D. Ernst, Static and dynamic analysis: Synergy and duality, ICSE Workshop on Dynamic Analysis, pp.24-27, 2003.

M. Glinz, S. Berner, and S. Joos, Object-oriented modeling with Adora, Information Systems, vol.27, issue.6, pp.425-444, 2002.
DOI : 10.1016/S0306-4379(02)00015-7

C. Jeanneret, M. Glinz, and B. Baudry, Footprinting operations written in kermeta, 2010.

B. Korel, I. Singh, L. Tahat, and B. Vaysburg, Slicing of state-based models, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings., pp.34-43, 2003.
DOI : 10.1109/ICSM.2003.1235404

P. Kruchten, The 4+1 view model of architecture. Software, IEEE, vol.12, issue.6, pp.42-50, 1995.

J. M. Küster and M. Abd-el-razik, Validation of Model Transformations ??? First Experiences Using a White Box Approach, Models in Software Engineering, Workshops and Symposia at MoDELS, pp.193-204, 2006.
DOI : 10.1007/978-3-540-69489-2_24

O. I. Lindland, G. Sindre, and A. Sølvberg, Understanding quality in conceptual modeling, IEEE Software, vol.11, issue.2, pp.42-49, 1994.
DOI : 10.1109/52.268955

P. Mohagheghi and J. Aagedal, Evaluating Quality in Model-Driven Engineering, International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007), 2007.
DOI : 10.1109/MISE.2007.6

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, 8th International Conference on Model Driven Engineering Languages and Systems, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

N. Rozanski and E. Woods, Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives, 2005.

R. Schuette and T. Rotthowe, The Guidelines of Modeling ??? An Approach to Enhance the Quality in Information Models, 17th International Conference on Conceptual Modeling, pp.240-254, 1998.
DOI : 10.1007/978-3-540-49524-6_20

A. Schürr, Specification of graph translators with triple graph grammars, 20th International Workshop on Graph-Theoretic Concepts in Computer Science, pp.151-163, 1995.
DOI : 10.1007/3-540-59071-4_45

B. Selic, The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.
DOI : 10.1109/MS.2003.1231146

S. Sen, N. Moha, B. Baudry, and J. Jézéquel, Meta-model Pruning, 12th International Conference on Model Driven Engineering Languages and Systems, pp.32-46, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

M. Shousha, L. Briand, and Y. Labiche, A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems, 12th International Conference on Model Driven Engineering Languages and Systems, pp.47-61, 2009.
DOI : 10.1007/978-3-540-87875-9_34

D. Varró, G. Varró, and A. Pataricza, Designing the automatic transformation of visual languages, Science of Computer Programming, vol.44, issue.2, pp.205-227, 2002.
DOI : 10.1016/S0167-6423(02)00039-4

J. Wang, S. Kim, and D. Carrington, Verifying metamodel coverage of model transformations, Australian Software Engineering Conference (ASWEC'06), pp.10-18, 2006.
DOI : 10.1109/ASWEC.2006.55