Shimeali, Timothy J. Leveson, Nancy G. <br/><br/>
An Empirical Comparison of Software Fault Tolerance and Fault Elimination 

 - 173-182 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Assertions<br/>Back-To-Back Starting<br/>Static Tearing