"Asymptotically Stable Walking for Biped Robots: Analysis via Systems with Impulse Effects" IEEE Transactions on Automatic Control, vol. 46, no. 1, pp. 51-64, Jan. 2001, doi: 10.1109/9.898695.