Bang, K.-S. et al. . System Resource Utilization Analysis Based on Model Checking Method. Informatica. 29, 2 ().