Safety-critical Systems Symposium : Birmingham, UK, 8-10, February 1994 /