Seixas Júnior, Osman, and Raimundo Barreto.
" Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante." <em>Anais do XXVII Concurso de Trabalhos de Iniciação Científica da SBC,
Belém/PA, 2008</em>. SBC, 2008,  
pp.51-60.