Modeling and Dynamic Locomotion of a Quadruped Robot with Spinal | IEEE Conference Publication | IEEE Xplore