I. El-arbi-aboussoror, I. Ober, and . Ober, Seeing Errors: Model Driven Simulation Trace Visualization, Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'12), pp.480-496, 2012.
DOI : 10.1007/978-3-642-33666-9_31

M. Amrani, L. Lucio, G. Selim, J. Benoit-combemale, H. Dingel et al., A Tridimensional Approach for Studying the Formal Verification of Model Transformations, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.921-928, 2012.
DOI : 10.1109/ICST.2012.197
URL : https://hal.archives-ouvertes.fr/hal-00684717

B. Barroca, L. Lúcio, V. Amaral, R. Félix, and V. Sousa, DSLTrans: A Turing Incomplete Transformation Language, Software Language Engineering, pp.296-305, 2011.
DOI : 10.1007/978-3-642-19440-5_19

B. Baudry, T. Dinh-trong, J. Mottu, D. Simmonds, and R. France, Sudipto Ghosh, Franck Fleurey, and Yves Le Traon. Model transformation testing challenges, Proc. of the IMDT workshop @ ECMDA06, 2006.

B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. L. Traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.139-143, 2010.
DOI : 10.1145/1743546.1743583
URL : https://hal.archives-ouvertes.fr/inria-00542747

G. Bergmann, I. Ráth, G. Varró, and D. Varró, Change-driven model transformations -change (in) the rule to rule the change. Software and System Modeling, pp.431-461, 2012.

P. Van-grop-christian-krause and L. Rose, Transformation tool contest 2013

E. M. Clarke, E. A. Emerson, and J. Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, pp.74-84, 2009.
DOI : 10.1145/1592761.1592781

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentals of algebraic graph transformation, 2006.

S. Gabmeyer, P. Brosch, and M. Seidl, A Classification of Model Checking-Based Verification Approaches for Software Models, Proceedings of VOLT'13, 2013.

I. Galvão and A. Goknil, Survey of traceability approaches in modeldriven engineering, 11th IEEE International Enterprise Distributed Object Computing Conference, pp.313-326, 2007.

M. Gogolla, F. Büttner, and M. Richters, USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1-3, pp.27-34, 2007.
DOI : 10.1016/j.scico.2007.01.013

M. Jochen and . Küster, Definition and validation of model transformations. Software and Systems Modeling, pp.233-259, 2006.

M. Kezadri and M. Pantel, First steps toward a verification and validation ontology, Proc. of Int. Conf. on Knowledge Engineering and Ontology Development (KEOD'10), pp.440-444, 2010.

P. Stevens, Generative and transformational techniques in software engineering ii. chapter A Landscape of Bidirectional Model Transformations, pp.408-424, 2008.

J. Oliver-ringer-udo, P. Kelter, and . Pietsch, Comparison and versioning of software models, 2013.

A. Vallecillo, M. Gogolla, L. Burgueño, M. Wimmer, and L. Hamann, Formal Specification and Testing of Model Transformations, Proc. of the 12th Int. Conf. on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering (SFM'12), pp.399-437, 2012.
DOI : 10.1007/s10270-006-0036-6