Seixas Júnior, O., & 		Barreto, R.
(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>, (pp. 51-60). Porto Alegre: SBC.