“A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems”, LITES, vol. 6, no. 1, pp. 03:1–03:60, May 2019, doi: 10.4230/LITES-v006-i001-a003.