Safety-Critical Combustion Control for Gas Boilers Using Control Barrier Functions | IEEE Conference Publication | IEEE Xplore