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