Towards the Application of Process Mining in the Mining Industry—An LHD Maintenance Process Optimization Case Study · Study