Checking Temporal Duration Properties of timed automata | Publicación