Power-to-Hydrogen: Process Modeling and Thermodynamic Analysis of High Temperature Solid Oxide Electrolysis | IEEE Conference Publication | IEEE Xplore