Lee, Shin, Nejati, Briand, Parache, 2022. Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages.