Safety-critical systems
Subtitle: the convergence of high tech and human factors : proceedings of the Fourth Safety-Critical Systems Symposium, Leeds, UK, 6-8 February 1996