Objective/MC: A high-level model checking language | Publicación