Addressing the safety of programmable electronic mining systems: lessons learned | IEEE Conference Publication | IEEE Xplore