A generic framework to integrate data caches in the WCET analysis of real-time systems | Publicación