Safety-critical Systems Symposium(2nd :1994 :Birmingham, England)