1. AtlanMod Ecore Metamodel Zoo,
http://www.emn.fr/z-info/atlanmod/index.php/Ecore
2. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming. In: Proc. of ASE, pp. 547–548 (2007)
3. CHOCO Team choco: an Open Source Java Constraint Programming Library (Research Report 10-02-INFO, Ecole des Mines de Nantes, 2010)
4. Eclipse,
http://www.eclipse.org
5. EMF Metamodel Version 2.8.1,
www.eclipse.org/modeling/emf