Update HAZOP.tex