Advances in Model-Based Design of Flexible and Prompt Energy Systems -- The CO2 Capture Plant at the Buggenum IGCC Power Station as a Test Case