Văn bản này: A temporal logic for Timed CSP