Blending Object-Z and Timed CSP: An Introduction to TCOZ.

Brendan P. Mahony, Jin Song Dong

Browse the full ICSE paper archive.