Specification And Verification Of Multi-Agent Systems by