Application Of Hazard And Operability (Hazop) Methodology To Safety-Related Scientific Software