Johan Fredriksson Thomas Nolte Mikael Nolin Heinz Schmidt Contract-Based ReusableWorst-Case Execution Time Estimate. 39-46 2007 conf/rtcsa/2007 RTCSA http://doi.ieeecomputersociety.org/10.1109/RTCSA.2007.32 db/conf/rtcsa/rtcsa2007.html#FredrikssonNNS07