Carsten Sühl

RT-Z: An Integration of Z and timed CSP

Carsten Sühl, 1999, IFM.

An Overview of the Integrated Formalism RT-Z

Carsten Sühl, 2002, Formal Aspects of Computing.

An integration of Z and Timed CSP for specifying real time embedded systems

Carsten Sühl, Carsten Sühl, 2003 .

Formal Specification of Safety-Critical Software with Z and Real-Time CSP

Maritta Heisel, Carsten Sühl, 1996, SAFECOMP.

Applying RT-Z to Develop Safety-Critical Systems

Carsten Sühl, 2000, FASE.