AuRUS: automated reasoning on UML/OCL schemas | Publicación