Verifying Linear Duration Constraints of Timed Automata | Publicación