Quantitative Risk Analysis of a Leak Scenario: A Systematic Approach Using Stpa, FTA and Phast Software