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