A generalized semantics of PROMELA for abstract model checking | Publicación