Simulation based real-time scheduling method for dispatching and rework control of semiconductor manufacturing system | IEEE Conference Publication | IEEE Xplore