K.-S. Bang, H.-W. Jin, C. Yoo, and J.-Y. Cho, “System Resource Utilization Analysis Based on Model Checking Method”, IJCAI, vol. 29, no. 2.