Using Basic Block Based Instruction Prefetching to Optimize WCET Analysis for Real-Time Applications.