Simulation of Semiconductor Manufacturing Supply-Chain Systems With DEVS, MPC, and KIB | IEEE Journals & Magazine | IEEE Xplore