Formal specification methods for reactive systems - Furbach, Ulrich 1948- (Fachberichte Informatik, 1991)