Trevor Harmon Raymond Klefstad Interactive Back-annotation of Worst-case Execution Time Analysis for Java Microprocessors. 209-216 2007 conf/rtcsa/2007 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.44 db/conf/rtcsa/rtcsa2007.html#HarmonK07