Empirical Study about Using aiT Tool in WCET Estimation | IEEE Conference Publication | IEEE Xplore