edited by J.P. Jansen and L. Boullart ; [IFAC Workshop on the Reliability of Instrumentation Systems for Safeguarding & Control ; sponsored by IFAC Technical Committee on Applications ; organised by Netherlands Association of Engineers NIRIA, Royal Institute of Engineers in the Netherlands (KIvI)]