Starke, Renan, E de Oliveira, Romulo. " Estudo Empírico sobre o uso da Ferramenta aiT no Cálculo do WCET" Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC) [Online], (7 novembro 2011)