WCET-driven Cache-based Procedure Positioning Optimizations | IEEE Conference Publication | IEEE Xplore