The use of computers in safety-critical applications : final report of the study group on the safety of operational computer systems. ISBN 0717616207. Published by HSE Books.. Publication and catalogue information, links to buy online and reader comments.