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