"Time-Optimal Real-Time Test Case Generation Using Uppaal."

Anders Hessel et al. (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics