LTL Model Checking | Publicación