Multi-Robot Motion Planning: A Timed Automata Approach