Distributed scheduling of flexible manufacturing systems: stability and performance | IEEE Journals & Magazine | IEEE Xplore