1. Sirio source code on GitHub. https://github.com/oris-tool/sirio. Accessed 24 June 2024
2. Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1–6:39 (2018). https://doi.org/10.1145/3158668
3. Amparore, E.G., Donatelli, S.: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6), 400–422 (2013)
4. Andriushchenko, R., et al.: Tools at the frontiers of quantitative verification: QComp 2023 competition report. In: TACAS, vol. to appear (2024)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)