Precise Shared Instruction Cache Analysis to Estimate WCET of Multi-threaded Programs | IEEE Conference Publication | IEEE Xplore