Model Checking Timing Requirements