Anfonwch hwn fel neges destun: A temporal logic for Timed CSP