TY  - SER
AU  - Kim Cheng, Albert Mo
AU  - Browne, James C.
AU  - Mok, Aloysius K.
TI  - Analysis of Real-Time Rule-Based Systems with  Behavioral Constraint Assertions Specitied in Estelia
KW  - Estelia
KW  - Real-Time -
KW  - Verification
ER  -