UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. - Jordi Cabot; Robert Clarisó; Patricia de la Fuente; Daniel Riera (JISBD, 2007)