Jin Song Dong Roger Duke Ping Hao Integrating Object-Z with Timed Automata. 488-497 2005 conf/iceccs/2005 ICECCS http://dx.doi.org/10.1109/ICECCS.2005.56 db/conf/iceccs/iceccs2005.html#DongDH05