Combining Simulation and Guided Traversal for the Verification of Concurrent Systems | Publicación