Digraph-based models for automated HAZOP analysis