The application of HAZOP studies to integrated requirements models for control systems · Study