A Determinizable Class of Timed Automata.

Rajeev Alur Limor Fix Thomas A. Henzinger A Determinizable Class of Timed Automata. 1-13 1994 conf/cav/1994 CAV db/conf/cav/cav94.html#AlurFH94 http://dx.doi.org/10.1007/3-540-58179-0_39