Model-based design and analysis of cache hierarchies | IEEE Conference Publication | IEEE Xplore