Text this: Safety of computer control systems 1986 (Safecomp '86) :