A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis | IEEE Conference Publication | IEEE Xplore