A systems-theoretic hazard analysis for safety-critical medical gas pipeline and oxygen supply systems · Study