Cheng, Albert Mo Browne, James C. Mok, Aloysius K. <br/><br/>
Analysis of Real-Time Rule-Based Systems with  Boehavioral Constraint Assertions Specified in Estelia 

 - 863-885 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Estelia<br/>Specification<br/>Verification