Using Basic Block Based Instruction Prefetching to Optimize WCET Analysis for Real-Time Applications | IEEE Conference Publication | IEEE Xplore