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