"Online Testing of Real-time Systems Using Uppaal."

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics