Efficient worst case timing analysis of data caching | IEEE Conference Publication | IEEE Xplore