Models for Solid Oxide Fuel Cell Systems