BANG, K.-S.; JIN, H.-W.; YOO, C.; CHO, J.-Y. 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: 9 aug. 2025.