Solid oxide fuel cell (SOFC) stacks are at the core of complex and efficient energy conversion systems for distributed power generation. Such systems are currently in various stages of development. These power plants of the future feature complicated configurations, because the fuel cell demands for a complex balance of plant. Moreover, proposed SOFCbased systems for stationary applications are often connected to additional components and subsystems, such as a gasifier with its gas-cleaning section, a gas turbine, and a heat recovery system for thermal cogeneration or additional power production. For the simplest SOFC configurations, and more so for complex integrated systems, the dynamic operation of the power plant is challenging, especially because the fluctuating electrical load of distributed energy systems demand for reliable transient operation. Issues related to dynamic operation must be studied in the early design stage and simulation results can be used to optimize the system configuration, taking into account transient behavior. This paper presents the development and the validation of a non-linear dynamic lumped-parameters model of a SOFC stack suitable for integration into models of complex power plants. Particular emphasis is placed on the systematic approach to model development. The model is implemented using the open-source Modelica language, which allows for a high degree of flexibility and modularity, the main features of the model herein presented. The SOFC stack model will be incorporated into ThermoPower, a freely distributed library of reusable software components for the modeling of thermo-hydraulic processes and power plants.