Thermal Modeling for High Temperature Electrolysis of Lithium Carbonate with Carbon Dioxide Sequestration | IEEE Conference Publication | IEEE Xplore