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