Starke, Renan, and Romulo de Oliveira.
" Estudo Empírico sobre o uso da Ferramenta aiT no Cálculo do WCET." <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais,
Florianópolis, 2011</em>. SBC, 2011,  
pp.86-89.