Includes bibliographies and index.
Safer systems : proceedings of the Fifth Safety-Critical Systems Symposium, Brighton 1997. ISBN 3540761349. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.