A Cache Design for Probabilistically Analysable Real-time Systems | Publicación