Brendan P. Mahony Jin Song Dong Timed Communicating Object Z. 150-177 2000 26 IEEE Trans. Software Eng. 2 http://www.computer.org:80/tse/ts2000/e0150abs.htm db/journals/tse/tse26.html#MahonyD00