Lightweight verification of executable models | Publicación