WCET-centric software-controlled instruction caches for hard real-time systems | IEEE Conference Publication | IEEE Xplore