Symbolic analysis methods for averaged modeling of switching power converters | Synapse