Integration of interlock system analysis with automated HAZOP analysis · Study