A generic and compositional framework for multicore response time analysis | Publicación