Debbi H. Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking. csci [Internet]. 2022Nov.8 [cited 2024Dec.4];23(4). Available from: https://journals.agh.edu.pl/csci/article/view/4588