"Verifying Real-Time Systems against Scenario-Based Requirements."

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