A Time-Predictable Instruction-Cache Architecture that Uses Prefetching and Cache Locking | IEEE Conference Publication | IEEE Xplore