So the thesis presents integrating Z and timed CSP.

• Z语言和实时timed CSP进行集成后,称为RT-Z。 因此RT-Z是一种集成形式化规格说明语言。