Timed regular expressions