Specification and automatic verification of trust-based multi-agent systems