Modular Model Checking of Software Specifications with Simultaneous Environment Generation | Publicación