Verifying Real-Time Systems against Scenario-Based Requirements. - Kim Guldstrand Larsen; Shuhao Li; Brian Nielsen; Saulius Pusinskas (FM, 2009)

Scenario-based analysis and synthesis of real-time systems using uppaal. - Kim Guldstrand Larsen; Shuhao Li; Brian Nielsen; Saulius Pusinskas (DATE, 2010)

Scenario-based verification of real-time systems using Uppaal. - Shuhao Li; Sandie Balaguer; Alexandre David; Kim G. Larsen; Brian Nielsen; Saulius Pusinskas (Formal Methods Syst. Des., 2010)