Reasoning on UML Class Diagrams with OCL Constraints Authors: Queralt, Anna / Teniente, Ernest Publication: ER Pagination: 497-512