An optimized kinetic model for H2/CO combustion in CO2