A theory of timed automata (1994)

by R Alur, D L Dill
Venue:Theoretical Computer Science