"Unambiguity in Timed Regular Languages: Automata and Logics."

Paritosh K. Pandya, Simoni S. Shah (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics