System Resource Utilization Analysis Based on Model Checking Method. IJCAI 29 (2).