Seol mar théacs é seo: Modeling and Simulation of Spacecraft Power System Based on Modelica