Arora, Anu Kulkarni, S. S <br/><br/>
Component Based Design of Multitolerant Systems 

 - 63-78 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Formal Methods<br/>Compositional Analysis<br/>Dependability