Debbi, Hichem. “Modeling and Analysis of Probabilistic Real-Time Systems through Integrating Event-B and Probabilistic Model Checking”. Computer Science 23, no. 4 (November 8, 2022). Accessed March 29, 2024. https://journals.agh.edu.pl/csci/article/view/4588.