Redirecting to Worst-case execution time