Automated reasoning on UML conceptual schemas with derived information and queries | Publicación