Modeling of vented hydrogen-air deflagrations and correlations for vent sizing