Timing analysis and validation with UML: the case of the embedded MARS bus manager