H. Marcondes, R. Cancian, M. Stemmer, and A. Fröhlich.
" Modeling and Implementation of Real-Time Schedulers for Embedded Systems", in <em>Proceedings of the 6th Workshop on Operating Systems</em>, Bento Gonçalves/RS, 2009, pp. 2405-2416.