R Blickhan 1989 spring-mass running model; modern Geyer SLIP biomechanics + bipedal-robotics ASIMO + Cassie ETH-Robotics.