Ebook Specification And Verification Of Multi Agent Systems