HAZOP, FMEA, and What-if analyses