Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.

Florian Klein, Holger Giese

Browse the full FASE paper archive.