Anfonwch hwn fel neges destun: Specification and Proof in real- time CSP /