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

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas

Browse the full DATE paper archive.