Quantitative Risk Assessment and Management of Hydrogen Leaks from Offshore Rocket Launching Platforms | IEEE Conference Publication | IEEE Xplore