Specification and proof in real time CSP - Davies,Jim