Model Checking Trust-based Multi-Agent Systems