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