Scenario Patterns and Trace-Based Temporal Verification of Reactive Embedded Systems. - Alice M. Tokarnia; Emerson P. Cruz (DSD, 2013)