Specification and proof in real-time CSP /
Davies, Jim.
Cambridge : Cambridge University Press,
1993.