Technology and assessment of safety-critical systems : proceedings of the Second Safety-Critical Systems Symposium. ISBN 3540198598. Published by Springer-Verlag in 1994. Publication and catalogue information, links to buy online and reader comments.