A theory of timed automata
R. Alur and D. L. Dill, 1994
Theoretical Computer Science
pdf
2148 citations in Scholar