SEIXAS JÚNIOR, Osman; 						BARRETO, Raimundo.
 Uma abordagem baseada em lógica para escalonamento offline de sistemas embarcados de tempo real considerando o tempo adicional do despachante. <em>In</em>: CONCURSO DE TRABALHOS DE INICIAÇÃO CIENTÍFICA DA SBC (CTIC-SBC), 27.	, 2008, Belém/PA.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2008
.
 p. 51-60.