Validation of UML Models via a Mapping to Communicating Extended Timed Automata