Russ Tedrake, Scott Kuindersma, Robin Deits, Kanako Miura: A closed-form solution for real-time ZMP gait generation and feedback stabilization. Humanoids 2015: 936-940