Starke, R., & 		de Oliveira, R.
(2011).
 Estudo Empírico sobre o uso da Ferramenta aiT no Cálculo do WCET.
In <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 86-89). Porto Alegre: SBC.