Time and Processes: Towards Engineering Temporal Requirements.

Johann Eder, Marco Franceschetti, Josef Lubas

Browse the full ICSoft paper archive.