RT-Z: An Integration of Z and timed CSP.

Carsten Sühl RT-Z: An Integration of Z and timed CSP. 29-48 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#Suhl99