Integration of interlock system analysis with automated HAZOP analysis. - M. Cocchiara; V. Bartolozzi; A. Picciotto; Mosé Galluzzo (Reliab. Eng. Syst. Saf., 2001)