Automating HAZOP analysis of batch processes · Study