Multi-robot task scheduling in micro-manufacturing | IEEE Conference Publication | IEEE Xplore