Checking hybrid automata for linear duration invariants | Publicación