Blending Object-Z and Timed CSP: an introduction to TCOZ | IEEE Conference Publication | IEEE Xplore