Відправити по sms: A temporal logic for Timed CSP