A Framework for Automatic Construction of Abstract Promela Models | Publicación