Object-Z / TCOZ and Timed automata; Projection and integration - HAO PING (2010)
Ph.D