Anna Queralt Ernest Teniente Reasoning on UML Class Diagrams with OCL Constraints. 497-512 2006 conf/er/2006 ER http://dx.doi.org/10.1007/11901181_37 db/conf/er/er2006.html#QueraltT06