Contract-Based ReusableWorst-Case Execution Time Estimate | IEEE Conference Publication | IEEE Xplore