Integrating Object-Z with Timed Automata.

Jin Song Dong, Roger Duke, Ping Hao

Browse the full ICECCS paper archive.