State Based Modelling of Haul Truck Operation in Undeground Mines | IEEE Conference Publication | IEEE Xplore