Clavel, M.; Egea, M.; García de Dios, M. A. Checking Unsatisfiability for OCL Constraints. ECEASST 2010, 24.