Aloysius K. Mok Formal Analysis of Real-Time Equational Rule-Based Systems. 308-318 1989 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1989.html#Mok89