Enabling caches in probabilistic timing analysis | Publicación