====== A theory of timed automata ======
|R. Alur and D. L. Dill, 1994|Theoretical Computer Science|[[http://leg.ufpr.br/~pedro/papers/timed-automata.pdf|pdf]] |[[http://scholar.google.com.br/scholar?hl=pt-BR&lr=&cites=9837812367581874989|2148 citations in Scholar]] |