The best of both worlds: Integrating UML with Z for software specifications | Publicación