Dynamic Modelling of a Solid Oxide Fuel Cell System