"Scenario-based analysis and synthesis of real-time systems using uppaal."

Kim Guldstrand Larsen et al. (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics