Suhl, C. "RT-Z: an integration of Z and timed CSP"

Araki, K., Galloway, A. (1999) Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.  

Languages mentioned RT-Z {1999}