Safety as a design goal for applications of microelectronic control systems - Görke, Winfried 1933- (Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht, 1990)