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