Techniques to increase the schedulable utilization of cache-based preemptive real-time systems | Publicación