"From Mtl to Deterministic Timed Automata."

Dejan Nickovic, Nir Piterman (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics