An algorithm for deciding minimal cache sizes in real-time systems | Publicación