Designing cooperating multi-agent systems — An extended design methodology | IEEE Conference Publication | IEEE Xplore