DEBBI, H. Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking. Computer Science, [S. l.], v. 23, n. 4, 2022. DOI: 10.7494/csci.2022.23.4.4588. Disponível em: https://journals.agh.edu.pl/csci/article/view/4588. Acesso em: 29 nov. 2022.