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