Bang, K.-S.; Jin, H.-W.; Yoo, C.; Cho, J.-Y. System Resource Utilization Analysis Based on Model Checking Method. IJCAI 29.