Qualitative models of equipment units and their use in automatic HAZOP analysis. - V. Bartolozzi; L. Castiglione; A. Picciotto; Mosé Galluzzo (Reliab. Eng. Syst. Saf., 2000)

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