Debugging UML Designs with Model Checking. | Publicación