D.L.: Automata for modeling real-time systems. (1990)

by R Alur, Dill
Venue:Proc. of Int. Colloquium on Algorithms, Languages, and Programming,