Storey, Neil. <br/><br/>
Safety-critical computer systems / 
Neil Storey. 
 - Harlow, England :  Addison-Wesley,   c1996. 
 - xviii, 453 p. :  ill. ;   24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0201427877 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Industrial safety-- Data processing.<br/>System safety.<br/>Automatic control-- Reliability.
<br/><br/><label>Dewey Class. No.: </label>620.8