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 - Lindeberg, J. F. (Pergamon Press, 1991)