System Resource Utilization Analysis Based on Model Checking Method. Informatica, [S. l.], v. 29, n. 2, Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/34. Acesso em: 16 nov. 2025.