"Classes of Timed Automata and the Undecidability of Universality."

Arnaldo V. Moura, Guilherme A. Pinto (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics