Johann Blieberger Thomas Fahringer Bernhard Scholz Symbolic Cache Analysis for Real-Time Systems. 181-215 2000 18 Real-Time Systems 2/3 db/journals/rts/rts18.html#BliebergerFS00 http://dx.doi.org/10.1023/A:1008193114940