G. Berry, Synchronous design and verification of critical embedded systems using SCADE and Esterel, Lecture Notes in Computer Science, vol.4916, 2008.
DOI : 10.1007/978-3-540-79707-4_2

A. Biere, M. Heule, and H. Van-maaren, Handbook of satisfiability, vol.185, 2009.

F. Boufares and H. Bennaceur, Consistency Problems in ER Schemas for Database Systems, Information Sciences, vol.163, issue.4, pp.263-274, 2004.
DOI : 10.1016/j.ins.2003.06.015
URL : https://hal.archives-ouvertes.fr/hal-00083795

F. Boufarès, H. Bennaceur, and A. Osmani, On the Consistency of Cardinality Constraints in UML Modelling, ISPE, International Conference on Enhanced Interoperable Systems, pp.287-292, 2003.

J. Cabot, R. Clarisó, and D. Riera, Verification of UML/OCL Class Diagrams using Constraint Programming, ICSTW, IEEE International Conference on Software Testing Verification and Validation Workshop, pp.73-80, 2008.
DOI : 10.1109/icstw.2008.54
URL : https://hal.archives-ouvertes.fr/hal-00974321

J. Cadavid, B. Baudry, and H. Sahraoui, Searching the boundaries of a modeling space to test metamodels, Fifth IEEE International Conference on Software Testing, Verification and Validation, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00665866

C. Martínez, -. Costa, M. Menárguez-tortosa, J. , and J. Maldonado, A model-driven approach for representing clinical archetypes for Semantic Web environments, Journal of Biomedical Informatics, vol.42, pp.150-164, 2009.

H. Cho and J. Gray, Design patterns for metamodels, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11. ACM, pp.25-32, 2011.
DOI : 10.1145/2095050.2095056
URL : http://www.dsmforum.org/events/DSM11/Papers/cho.pdf

L. Mendonça, D. Moura, and N. Bjørner, Satisfiability Modulo Theories: Introduction and Applications, Communications of the ACM Journal, vol.54, pp.69-77, 2011.

. Lloyd-l-dines, Systems of linear inequalities, Annals of Mathematics, pp.191-199, 1919.

A. Ferdjoukh, A. Baert, E. Bourreau, A. Chateau, and C. Nebut, Instantiation of Meta-models Constrained with OCL: a CSP Approach, pp.213-222, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01232891

Z. Fu and S. Malik, On solving the partial MAX-SAT problem, International Conference on Theory and Applications of Satisfiability Testing, pp.252-265, 2006.
DOI : 10.1007/11814948_25

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, pp.27-34, 2007.
DOI : 10.1016/j.scico.2007.01.013
URL : https://doi.org/10.1016/j.scico.2007.01.013

W. Hao, Automated Metamodel Instance Generation Satisfying Quantitative Constraints, 2013.

G. Hinkel, M. E. Kramer, E. Burger, M. Strittmatter, and L. Happe, An Empirical Study on the Perception of Metamodel Quality, MODELSWARD, pp.145-152, 2016.

D. Jackson, Software Abstractions: logic, language, and analysis, 2012.

J. Larrosa and P. Meseguer, Exploiting the use of DAC in MaxCSP, CP, International Conference on Principles and Practice of Constraint Programming, pp.308-322, 1996.

J. López-fernández, E. Guerra, and J. Lara, Assessing the Quality of Meta-models, MoDeVVA Workshop, pp.3-12, 2014.

J. López-fernández, E. Guerra, and J. Lara, Meta-Model validation and verification with MetaBest, ASE, ACM/IEEE International Conference on Automated Software Engineering, pp.831-834, 2014.

Z. Ma, X. He, and C. Liu, Assessing the quality of metamodels, Frontiers of Computer Science, vol.7, pp.558-570, 2013.

J. Mottu, . Sagar-sen, J. Simula, B. Cadavid, and . Baudry, Discovering Model Transformation Pre-conditions Using Automatically Generated Test Models, Proceedings of the 2015 IEEE 26th International Symposium on Software Reliability Engineering, pp.88-99, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01228715

, Handbook of Constraint Programming, 2006.

R. Edward, . Scheinerman, and . Daniel-h-ullman, Fractional graph theory: a rational approach to the theory of graphs, 2011.

M. K. Gehan, S. Selim, J. R. Wang, J. Cordy, and . Dingel, Model transformations for migrating legacy models: an industrial case study, European Conference on Modelling Foundations and Applications, pp.90-101, 2012.

S. Sen, B. Baudry, and J. Mottu, On Combining Multiformalism Knowledge to Select Models for Model Transformation Testing, ICST, IEEE International Conference on Software Testing, Verification and Validation, pp.328-337, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456955

S. Sendall and W. Kozaczynski, Model transformation: The heart and soul of model-driven software development, IEEE software, vol.20, pp.42-45, 2003.

G. Sierksma, Linear and integer programming: theory and practice, 2001.

R. Wille, M. Soeken, and R. Drechsler, Debugging of inconsistent UML/OCL models, DATE, Design, Automation and Test in Europe, pp.1078-1083, 2012.