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