"The Surprising Robustness of (Closed) Timed Automata against Clock-Drift."

Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics