Enviar aquest missatge de text: A temporal logic for Timed CSP