Multi-Valued Model Checking IoT and Intelligent
Systems with Trust and Commitment Protocols