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