Timed automata with urgent transitions