Timed Automata for Modelling Caches and Pipelines | Publicación