D. Renaux.
" Extending UML to Support RTOS Design", in <em>Proceedings of the 5th Workshop on Operating Systems</em>, Belém/PA, 2008, pp. 25-33.