Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems | Publicación