System safety: HAZOP and software HAZOP · Study