Using Randomized Caches in Probabilistic Real-Time Systems Authors: Quinones, Eduardo / Berger, Emery / Bernat, Guillem / Cazorla, Francisco