SEARCH Articles Figures Tables Formal Risk Assessment Methodology Formal Safety Assessments quantitative risk assessment Formal Safety Assessments risk associated