أرسل هذا في رسالة قصيرة: Specification and Proof in real- time CSP /