Clavel, M., Egea, M., & García de Dios, M. A. (2010). Checking Unsatisfiability for OCL Constraints. Electronic Communications of the EASST, 24. https://doi.org/10.14279/tuj.eceasst.24.334