[. Anastasakis, B. Bordbar, G. Georg, and I. Ray, On challenges of model transformation from UML to Alloy, Software & Systems Modeling, vol.45, issue.15, pp.69-86, 2010.
DOI : 10.1007/s10270-008-0110-3

K. Bernhard, P. Aichernig, F. Büttner, and J. Cabot, Test Case Generation by OCL Mutation and Constraint Solving Lightweight String Reasoning for OCL, QSIC Antonio Vallecillo, pp.64-71, 2005.

M. Beckert, R. Giese, V. Hähnle, P. Klebanov, S. Rümmer et al., The KeY system 1.0 (Deduction Component), LNCS, vol.4603, pp.379-384, 2007.
DOI : 10.1007/978-3-540-73595-3_26

D. Achim, B. Brucker, and . Wolff, HOL-OCL: A Formal Proof Environment for UML/OCL, FASE, LNCS 4961, pp.97-100, 2008.

M. Cadoli, D. Calvanese, G. D. Giacomo, and T. Mancini, Finite Model Reasoning on UML Class Diagrams Via Constraint Programming, AI*IA, pp.36-47, 2007.
DOI : 10.1007/978-3-540-74782-6_5

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

F. Kalou-cabrera-castillos, J. Dadeau, S. Julliand, and . Taha, Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests, ICTSS, LNCS 7019, pp.32-47, 2011.
DOI : 10.1007/978-3-642-24580-0_4

M. Clavel, M. Egea, . Itp, and . Ocl, ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams, AMAST, pp.368-373, 2006.
DOI : 10.1007/11784180_28

M. Clavel, M. Egea, and M. A. García-de-dios, Checking Unsatisfiability for OCL Constraints, Electronic Communications of the EASST, vol.24, pp.1-13, 2009.

G. Andreacaì-i, G. Gottlob, A. Orsi, and . Pieris, Querying UML Class Diagrams, FoSSaCS LNCS, vol.7213, pp.1-25, 2012.

J. Dobroslawa-chimiak-opoka and B. Demuth, A Feature Model for an IDE4OCL, p.36, 2010.

M. Gogolla, F. Büttner, and J. Cabot, Initiating a Benchmark for UML and OCL Analysis Tools, 2013.
DOI : 10.1007/978-3-642-38916-0_7

URL : https://hal.archives-ouvertes.fr/hal-00815040

C. A. Gonzalez, F. Büttner, R. Clariso, and J. Cabot, EMFtoCSP: A tool for the lightweight verification of EMF models, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), p.2012
DOI : 10.1109/FormSERA.2012.6229788

URL : https://hal.archives-ouvertes.fr/hal-00688039

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

H. Hußmann, B. Demuth, and F. Finger, Modular architecture for a toolset supporting OCL, Science of Computer Programming, vol.44, issue.1, pp.51-69, 2002.
DOI : 10.1016/S0167-6423(02)00032-1

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

A. Maraee and M. Balaban, Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets, ECMDA- FA, pp.17-31, 2007.
DOI : 10.1007/978-3-540-72901-3_2

A. Queralt, A. Artale, D. Calvanese, and E. Teniente, OCL-Lite: Finite reasoning on UML/OCL conceptual schemas, Data & Knowledge Engineering, vol.73, pp.1-22, 2012.
DOI : 10.1016/j.datak.2011.09.004

M. Roldán and F. Durán, Dynamic Validation of OCL Constraints with mOdCL, ECEASST, vol.44, 2011.

M. Schleipen, A concept for conformance testing of AutomationML models by means of formal proof using OCL, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), pp.1-5, 2010.
DOI : 10.1109/ETFA.2010.5641270

D. Edward and . Willink, Re-Engineering Eclipse MDT/OCL for Xtext, ECE- ASST, vol.36, 2010.

R. Wille, M. Soeken, and R. Drechsler, Debugging of Inconsistent UML/OCL Models SMT-Based Enumeration of Object Graphs from UML Class Diagrams, ACM SIGSOFT Software Engineering Notes, vol.37, issue.4, pp.1078-10831, 2012.