A framework for synthesis of safety-related control design to avoid critical faults and pathogenic accidents in the process industries · Study