J. Janošovský, J. Labovský, and L. Jelemensky, “Automated Model-based HAZOP Study in Process Hazard Analysis”, Chemical Engineering Transactions, vol. 48, pp. 505-510, Apr. 2016.