Verification of Concurrent Systems with Parametric Delays Using Octahedra | Publicación