Verifying Real-Time Systems against Scenario-Based Requirements.

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

Browse the full FM paper archive.