D.: A Theory of Timed Automata (1994)

by R Alur, Dill
Venue:Theoretical Computer Science