Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems.

Alice M. Tokarnia, Emerson P. Cruz

Browse the full DSD paper archive.