इसका टेक्स्ट मैसेज भेजे: Specification and Proof in real- time CSP /