K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On challenges of model transformation from UML to Alloy, Software and System Modeling, 2010.
DOI : 10.1007/s10270-008-0110-3

M. Asztalos, L. Lengyel, and T. Levendovszky, Towards Automated, Formal Verification of Model Transformations, 2010 Third International Conference on Software Testing, Verification and Validation, 2010.
DOI : 10.1109/ICST.2010.42

L. Baresi, K. Ehrig, and R. Heckel, Verification of Model Transformations: A Case Study with BPEL, Proc. of the 2nd Symposium on Trustworthy Global Computing, p.6, 2006.
DOI : 10.1007/978-3-540-75336-0_12

B. Baudry, T. Dinh-trong, J. Mottu, D. Simmonds, R. France et al., Model transformation testing challenges, ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00542781

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

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, 2006.
DOI : 10.1007/11880240_31

A. Boronat, R. Heckel, and J. Meseguer, Rewriting Logic Semantics and Verification of Model Transformations, Conceptual Modeling, 29th International Conference Proceedings, 2009.
DOI : 10.1007/978-3-642-00593-0_2

E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. L. Traon, Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool, 2006 17th International Symposium on Software Reliability Engineering, 2006.
DOI : 10.1109/ISSRE.2006.27

A. D. Brucker and B. Wolff, HOL-OCL: A Formal Proof Environment for uml/ocl, Fundamental Approaches to Software Engineering, 11th International Conference Proceedings, 2008.
DOI : 10.1007/978-3-540-78743-3_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.6099

J. Cabot, R. Clarisó, E. Guerra, and J. De-lara, Verification and validation of declarative model-to-model transformations through invariants, Journal of Systems and Software, vol.83, issue.2, p.2010
DOI : 10.1016/j.jss.2009.08.012
URL : https://hal.archives-ouvertes.fr/hal-00540816

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, 2007.
DOI : 10.1145/1321631.1321737

E. Cariou, N. Belloir, F. Barbier, and N. Djemam, Ocl contracts for the verification of model transformations, p.24, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01093481

E. Cariou, R. Marvie, L. Seinturier, and L. Duchien, Ocl for the specification of model transformation contracts, Proceedings of Workshop OCL and Model Driven Engineering, 2004.

H. Ehrig, K. Ehrig, J. De-lara, G. Taentzer, D. Varró et al., Termination Criteria for Model Transformation, Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Proceedings, 2005.
DOI : 10.1007/978-3-540-31984-9_5

K. Ehrig, J. Küster, and G. Taentzer, Generating instance models from meta models. Software and Systems Modeling, 2009.
DOI : 10.1007/s10270-008-0095-y
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.7171

C. Fiorentini, A. Momigliano, M. Ornaghi, and I. Poernomo, A Constructive Approach to Testing Model Transformations, Theory and Practice of Model Transformations, ICMT 2010, Proceedings, 2010.
DOI : 10.1007/978-3-642-13688-7_6

M. Gogolla, Tales of ER and RE Syntax and Semantics, Transformation Techniques in Software Engineering. IBFI, Schloss Dagstuhl Dagstuhl Seminar Proceedings 05161. 51 pages, 2005.

M. Gogolla, J. Bohling, and M. Richters, Validating UML and OCL models in USE by automatic snapshot generation, Software and System Modeling, 2005.
DOI : 10.1007/s10270-005-0089-y

M. Gogolla and A. Vallecillo, Tractable Model Transformation Testing
DOI : 10.1007/978-3-642-21470-7_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6300

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

J. M. Küster, Definition and validation of model transformations. Software and System Modeling, 2004.

M. Kyas, H. Fecher, F. S. De-boer, J. Jacob, J. Hooman et al., Formalizing UML Models and OCL Constraints in PVS, Electronic Notes in Theoretical Computer Science, vol.115, 2005.
DOI : 10.1016/j.entcs.2004.09.027

L. Lucio, B. Barroca, and V. Amaral, A Technique for Automatic Validation of Model Transformations, Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Proceedings, Part I, 2010.
DOI : 10.1007/978-3-642-16145-2_10

J. Mottu, B. Baudry, and Y. L. Traon, Reusable MDA Components: A Testing-for-Trust Approach, Model Driven Engineering Languages and Systems, 9th International Conference Proceedings, 2006.
DOI : 10.1007/11880240_41
URL : https://hal.archives-ouvertes.fr/hal-00461274

A. Queralt, G. Rull, E. Teniente, C. Farré, and T. Urpí, AuRUS: Automated Reasoning on UML/OCL Schemas, Conceptual Modeling, 29th International Conference Proceedings, 2010.
DOI : 10.1007/978-3-540-85654-2_56
URL : http://hdl.handle.net/2117/11238

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

J. Troya and A. Vallecillo, Towards a Rewriting Logic Semantics for ATL, Theory and Practice of Model Transformations, ICMT 2010, Proceedings, 2010.
DOI : 10.1007/978-3-642-13688-7_16