Proving VLRL Action Properties with the Maude Model Checker | Publicación