Clavel, Manuel, Marina Egea, and Miguel Angel García de Dios. 2010. “Checking Unsatisfiability for OCL Constraints”. Electronic Communications of the EASST 24 (January). https://doi.org/10.14279/tuj.eceasst.24.334.