Safety as a design goal for applications of microelectronic control systems - Görke, Winfried 1933- (1990)