Research on Digital Modeling of Spacecraft Power System Based on Modelica | IEEE Conference Publication | IEEE Xplore