A Method for Estimating the Probability of Lightning Causing a Methane Ignition in an Underground Mine | IEEE Journals & Magazine | IEEE Xplore