V. Natarajan Rance Cleaveland Predictability of real-time systems: a process-algebraic approach. 82- 1996 conf/rtss/1996 IEEE Real-Time Systems Symposium http://computer.org/proceedings/rtss/7689/76890082abs.htm db/conf/rtss/rtss1996.html#NatarajanC96