Debbi, H. “Modeling and Analysis of Probabilistic Real-Time Systems through Integrating Event-B and Probabilistic Model Checking”. Computer Science, vol. 23, no. 4, Nov. 2022, doi:10.7494/csci.2022.23.4.4588.