Can intuition become rigorous? Foundations for UML model verification tools | Publicación