Storey, Neil, <br/><br/>
Safety-critical computer systems 
Neil Storey. 
 - Harlow  Addison-Wesley  1996. 
 - 453 pages :    illustration ;    24 cm. 
<br/><br/>includes index. 
<br/><br/><label>ISBN: </label>0201427877  RM122.27 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Industrial safety--Data processing<br/>System safety<br/>Automatic control--Reliability