Hybrid instruction cache partitioning for preemptive real-time systems | Publicación