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

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