A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems. Leibniz Transactions on Embedded Systems, Wadern, Germany, v. 6, n. 1, p. 03:1–03:60, 2019. DOI: 10.4230/LITES-v006-i001-a003. Disponível em: https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v006-i001-a003.. Acesso em: 11 may. 2025.