A service based multi-agent system design tool for modelling integrated manufacturing and service systems | IEEE Conference Publication | IEEE Xplore