Formal Safety Assessment Methodology Research Articles