A theory of timed automata, Theoretical Computer Science 126 (1994)

by R Alur, D Dill