Characterizing the behavior of reactive systems by trace sets - Broy, Manfred 1949- (München TUM, Inst. für Informatik, 1991)