High temperature electrolysis using gas-cooled reactor \cite{Elangovan_2004}