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

Iulian Ober Susanne Graf Yuri Yushtein Ileana Ober Timing analysis and validation with UML: the case of the embedded MARS bus manager. 301-308 2008 4 ISSE 3 http://dx.doi.org/10.1007/s11334-008-0066-z db/journals/isse/isse4.html#OberGYO08