Lightweight Verification of Executable Models | Publicación