dblp: Toni UrpíAuRUS: Automated Reasoning on UML/OCL Schemas.