Huang, Yen-Min Ravishankar, Chinya V. <br/><br/>
Constructive Protocol Specification Using Cicerro 

 - 252-268 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Protocol<br/>Protocol Specification<br/>Event-Driven