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