Automated control synthesis for an assembly line using discrete event system control theory | IEEE Journals & Magazine | IEEE Xplore