A model-based framework for automating HAZOP analysis of continuous process plants · Study