An exact discrete-event model and control policies for production lines with buffers | IEEE Journals & Magazine | IEEE Xplore