The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour.

• RT-Z的语义基于Z和timed CSP，这是它具有正确性和数学严格性的基础。