Devs Modeling and Simulation of The Loading and Hauling Process in Open Pit Mines | IEEE Conference Publication | IEEE Xplore