שליחה במסרון: A temporal logic for Timed CSP