Bang, K.-S., et al. “System Resource Utilization Analysis Based on Model Checking Method”. Informatica, vol. 29, no. 2, https://puffbird.ijs.si/index.php/informatica/article/view/34.