Automata for modelling real-time systems (1990)

by Rajeev Alur, David L Dill
Venue:ICALP’90, volume 443 of LNCS