The theory of timed automata (1991)

by R Alur, D Dill
Venue:In Proceedings of REX workshop on Real-Time: Theory in Practice, LNCS