Timed automata with periodic clock constraints