Stability Analysis of Legged Locomotion Models by Symmetry-Factored Return Maps | Synapse