Game specification in normative multiagent system: the trias politica | IEEE Conference Publication | IEEE Xplore