Formal Specification of Safety-Critical Software with Z and Real-Time CSP. - Maritta Heisel; Carsten Sühl (SAFECOMP, 1996)

RT-Z: An Integration of Z and timed CSP. - Carsten Sühl (IFM, 1999)

Applying RT-Z to Develop Safety-Critical Systems. - Carsten Sühl (FASE, 2000)

An Overview of the Integrated Formalism RT-Z. - Carsten Sühl (Formal Aspects Comput., 2002)

An integration of Z and Timed CSP for specifying real time embedded systems. - Carsten Sühl (2002)