SAE/TP 2007-01-3158 (PDF) Feasibility Demonstration of a Solid Oxide Electrolyzer with an Embedded Sabatier Reactor for Oxygen Regeneration