Publications
1994. Verifying an intelligent structural control system: a case study. Real-Time Systems Symposium, 1994., Proceedings.. :271-275.
1993. RTSL: a language for real-time schedulability analysis. Real-Time Systems Symposium, 1993., Proceedings.. :274-283.
2005. An Algebraic Theory Of Boundary Crossing Transitions. Electronic Notes in Theoretical Computer Science. 115:69-88.