Deterministische Überwachung temporaler Formeln - Feng, Dasu; Lipeck, Udo W. 1956- (1987)