Guaranteed Loop Bound Identification from Program Traces for WCET | IEEE Conference Publication | IEEE Xplore