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)