Transformations of Timed Cooperating Automata