https://1library.net/document/7q0vp79z-effectiveness-cache-partitioning-hard-real-time-systems.html