Timed CSP = Closed Timed epsilon-automata