Distributed reachability analysis for protocol verification environments | Publicación