Recommended practices for the specification of multi-agent systems requirements | IEEE Conference Publication | IEEE Xplore