"A Kleene Theorem for Timed Automata."

Eugene Asarin, Paul Caspi, Oded Maler (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics