Model Checking Intelligent Information Systems with 3-Valued Timed Commitments