Araki, K., Galloway, A. and Taguchi, K. editors: IFM'99: Integrated Formal Methods, York, UK. Springer-Verlag, June 1999.
(1999)
Smith, G., and Hayes, I. (1999)
Smith, G., and Hayes, I. "Towards Real-Time Object-Z" pp49-65
Suhl, C. (1999)
Suhl, C. "RT-Z: an integration of Z and timed CSP"