wcet_jtres2006.pdf