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 (International Federation of Automatic Control: IFAC symposia series, 1991)