Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies | IEEE Conference Publication | IEEE Xplore