Analyzing loop paths for execution time estimation - Roychoudhury, A. (2013)
10.1007/11604655_53