Hardware support for WCET analysis of hard real-time multicore systems | Publicación