Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems | Publicación