An Efficient Search Algorithm of Worst-Case Cache Flush Timings. - Hiroshi Miyamoto; Shinichi Iiyama; Hiroyuki Tomiyama; Hiroaki Takada; Hiroshi Nakashima (RTCSA, 2005)