Leveson, Nancy G., <br/><br/>
Safeware  system safety & computers 
Nancy G. Leveson. 
 - Reading, Mass.  Addison-Wesley  1995. 
 - 680 pages :  illustration ;  24 cm. 
<br/><br/>p. 649-668. 
<br/><br/><label>ISBN: </label>0201119722  RM130.42 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability<br/>Electronic digital computers--Reliability<br/>Industrial safety