J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev et al., Model Transformations? Transformation Models!, MoDELS, ser. LNCS, pp.440-453, 2006.
DOI : 10.1007/11880240_31

D. Berardi, D. Calvanese, and G. D. Giacomo, Reasoning on UML class diagrams, Artificial Intelligence, vol.168, issue.1-2, pp.70-118, 2005.
DOI : 10.1016/j.artint.2005.05.003

M. Cadoli, D. Calvanese, and T. Mancini, Finite satisfiability of UML class diagrams by constraint programming, Proc. of the CEUR Workshop Proceedings. CEUR-WS.org, 2004.

A. D. Brucker and B. Wolff, The HOL-OCL book, ETH Zurich, Tech. Rep, vol.525, 2006.

A. Queralt and E. Teniente, Verification and Validation of UML Conceptual Schemas with OCL Constraints, ACM Transactions on Software Engineering and Methodology, vol.21, issue.2
DOI : 10.1145/2089116.2089123

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

J. Régin, Generalized arc consistency for global cardinality constraint, Proceedings of the thirteenth national conference on Artificial intelligence ser. AAAI'96, pp.209-215, 1996.

I. Gent and B. Smith, Symmetry breaking during search in constraint programming, Proceedings ECAI, 2000.

R. V. Straeten, T. Mens, J. Simmonds, and V. Jonckers, Using description logic to maintain consistency between UML models, UML, ser. LNCS, pp.326-340, 2003.

M. Balaban and A. Maraee, A UML-based method for deciding finite satisfiability in description logics, Description Logics, ser. CEUR Workshop Proceedings, 2008.

H. Malgouyres and G. Motet, A UML model consistency verification approach based on meta-modeling formalization, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1804-1809, 2006.
DOI : 10.1145/1141277.1141703

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

A. Queralt, G. Rull, E. Teniente, C. Farré, and T. Urpí, AuRUS: Automated Reasoning on UML/OCL Schemas, ER, ser. LNCS, pp.438-444, 2010.
DOI : 10.1007/978-3-540-85654-2_56
URL : http://hdl.handle.net/2117/11238

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, MoDELS, ser. LNCS, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.7905

M. Kuhlmann, L. Hamann, and M. Gogolla, Extensive Validation of OCL Models by Integrating SAT Solving into USE, TOOLS (49), ser. LNCS, pp.290-306, 2011.
DOI : 10.1007/978-3-642-21952-8_21

M. Clavel, M. Egea, and M. G. De-dios, Checking unsatisfiability for OCL constraints, OCL Workshop at MoDELS'09, 2009.

S. Ali, M. Z. Iqbal, A. Arcuri, and L. C. Briand, A Search-Based OCL Constraint Solver for Model-Based Test Data Generation, 2011 11th International Conference on Quality Software, pp.41-50, 2011.
DOI : 10.1109/QSIC.2011.17

K. R. Apt and M. Wallace, Constraint Logic Programming using Eclipse, 2007.
DOI : 10.1017/CBO9780511607400
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2981

F. Yu, T. Bultan, and E. Peterson, Automated size analysis for OCL, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.331-340, 2007.
DOI : 10.1145/1287624.1287671
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.7601

E. Uzuncaova and S. Khurshid, Kato: A Program Slicing Tool for Declarative Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.767-770, 2007.
DOI : 10.1109/ICSE.2007.47