Safety for branching time semantics | Publicación