Text this: Safety of computer control systems 1988 (Safecomp '88) :