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