A modelling approach for the dynamic scheduling problem of manufacturing systems with non negligible setup times and finite buffers | IEEE Conference Publication | IEEE Xplore