H. Debbi, “Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking”, csci, vol. 23, no. 4, Nov. 2022.