Michael Schenke A Timed Specification Language for Concurrent Reactive Systems. 152-167 1993 conf/sosl/1993 Semantics of Specification Languages db/conf/sosl/sosl1993.html#Schenke93