Combining simulation and guided traversal for the verification of concurrent systems | Publicación