Scope-Aware Data Cache Analysis for WCET Estimation | IEEE Conference Publication | IEEE Xplore