IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS '94, June 13 - 16, 1994 Helsinki University of Technology, Espoo, Finland ; preprints