The IEE Seminar on Safety Assurance, 2005. (Ref. No. 2005/11081)