Model Checking the Interplay of Trust and Commitments in Multi-Agent Systems and Applications