Predicting Worst-Case Execution Times During Multi-criterial Function Inlining