Renan Starke and Romulo de Oliveira. 2011. Empirical Study about Using aiT Tool in WCET Estimation. In Proceedings of the Brazilian Symposium on Computing Systems Engineering, November 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 86-89.