Pedro R. D'Argenio Ed Brinksma A Calculus for Timed Automata. 110-129 1996 conf/ftrtft/1996 FTRTFT db/conf/ftrtft/ftrtft1996.html#DArgenioB96