SOFC modeling considering hydrogen and carbon monoxide as electrochemical reactants