Enviar aquest missatge de text: Specification and Proof in real- time CSP /