R. Starke and R. de Oliveira.
" 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>, Florianópolis, 2011, pp. 86-89.