Safety of computer control systems 1991 (SAFECOMP '91) ; safety, security and reliability of computer based systems ; proceedings of the IFAC/IFIP/EWICS/SRE Symposium, Trondheim, Norway, 30 October - 1 November 1991 (Pergamon Press, 1991)