αSPIN: A tool for abstract model checking | Publicación