Debbi, H. Modeling and Analysis of Probabilistic Real-Time Systems through Integrating Event-B and Probabilistic Model Checking. csci 2022, 23.