K.-S. Bang, H.-W. Jin, C. Yoo, and J.-Y. Cho, “System Resource Utilization Analysis Based on Model Checking Method”, Informatica, vol. 29, no. 2, Accessed: Aug. 19, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/34