"A Machine-Independent Characterization of Timed Languages."

Mikolaj Bojanczyk, Slawomir Lasota (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics