Specification And Verification Of Multi-Agent Systems door