An Efficient Algorithm for Parametric WCET Calculation | IEEE Conference Publication | IEEE Xplore