SEARCH Articles Figures Tables Formal analysis Formal safety assessment Hazard analyses analysis Hazard analysis Hazard analysis assessment Hazard analysis safety Hazardous analysis Safety assessment Safety hazard assessments Safety hazards Safety, analyses