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