HAZOP: Hazard and Operability Study [email protected] www.cs.put.poznan.pl/jnawrocki/models/ Models and Analysis of Software Lecture 11 Copyright, 2003 Jerzy…