Event-clock automata: a determinizable class of timed automata (1999)

by R Alur, L Fix, T A Henzinger
Venue:Theoretical Computer Science