Model-Based Proprioceptive State Estimation for Spring-Mass Running | part of Robotics: Science and Systems VII | MIT Press books | IEEE Xplore