Seixas Júnior, O., & 		Barreto, R.
2008 jul 12.  Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante. Anais do Concurso de Trabalhos de Iniciação Científica da SBC (CTIC-SBC). [Online] :