On the effectiveness of cache partitioning in hard real-time systems | Publicación