Reasoning on UML Conceptual Schemas with Operations | Publicación