A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. - Juan Antonio Gómez-Gutiérrez; Robert Clarisó; Jordi Cabot (BPMDS/EMMSAD@CAiSE, 2022)