Pošalji tekstualnu poruku: A temporal logic for Timed CSP