Stable dynamic walking of the quadruped “Kotetsu” using phase modulations based on leg loading/unloading against lateral perturbations | IEEE Conference Publication | IEEE Xplore