A generic mediator for multi-agent coordination in a distributed manufacturing system | IEEE Conference Publication | IEEE Xplore