Marco Paolieri Eduardo Quiñones Francisco J. Cazorla Guillem Bernat Mateo Valero Hardware support for WCET analysis of hard real-time multicore systems. 57-68 2009 ISCA http://doi.acm.org/10.1145/1555754.1555764 conf/isca/2009 db/conf/isca/isca2009.html#PaolieriQCBV09