Forming Virtual Traces for WCET Analysis and Reduction | IEEE Conference Publication | IEEE Xplore