Modeling and analysis of spacecraft power systems | Synapse