Debbi H. Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking. csci. 2022;23(4). doi:10.7494/csci.2022.23.4.4588