A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP | IEEE Conference Publication | IEEE Xplore