Transformation-based model checking temporal trust in multi-agent systems