Efficient Worst-Case Execution Time Analysis of Dynamic Branch Prediction | IEEE Conference Publication | IEEE Xplore