Lightweight and static verification of UML executable models | Publicación