@workingPaper{FerdinandMartinWilhelmAlt_1997,
title={Cache behavior prediction by abstract interpretation},
author={Ferdinand, Christian and Martin, Florian and Wilhelm, Reinhard and Alt, Martin},
doi={http://dx.doi.org/10.22028/D291-25824},
year={1997}
}