A decision support tool for resource allocation in batch manufacturing | IEEE Conference Publication | IEEE Xplore