Automated Worst-Case Execution Time Analysis Based on Program Modes

M. L Ji, J Wang, S Li and Z. C. Qi

Computer Journal 52 ( 5 ): 530 - 544 , 2009