Bygde, et al.. An Efficient Algorithm for Parametric WCET Calculation. IEEE, 2009, doi:10.1109/rtcsa.2009.9.