Aaron D. Ames, Kevin S. Galloway, J. W. Grizzle: Control lyapunov functions and hybrid zero dynamics. CDC 2012: 6837-6842