Seixas Júnior, Osman, E 		Barreto, Raimundo.
" Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante" <em>Anais do Concurso de Trabalhos de Iniciação Científica da SBC (CTIC-SBC)</em> [Online], (12 julho 2008)