A timed specification language for concurrent reactive systems”. (1994)

by M Schenke
Venue:Semantics of Specification Languages, Workshop in Computing Series,