Static probabilistic timing analysis for real-time systems using random replacement caches | Publicación