System Resource Utilization Analysis Based on Model Checking Method. Informatica, 29(2). https://puffbird.ijs.si/index.php/informatica/article/view/34