Renan Starke and Romulo de Oliveira. 2011. Estudo Empírico sobre o uso da Ferramenta aiT no Cálculo do WCET. In Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais, novembro 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 86-89.