Quantitative safety assessment of the ventilation recirculation system in an undersea mine AndrewsJ.D. 2008 Quantitative safety assessment of the ventilation recirculation system in an undersea mine