An exact efficient discrete-event model for production lines with buffers | IEEE Conference Publication | IEEE Xplore