A functional HAZOP methodology · Study