Improving WCET by optimizing worst-case paths | IEEE Conference Publication | IEEE Xplore