Applying HAZOP to Software Engineering Models · Study