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