Simulation and improvement of multi-product multi-stage processing system based on witness | IEEE Conference Publication | IEEE Xplore