Efficient Cache Designs for Probabilistically Analysable Real-Time Systems | Publicación