Locomotion modeling of an actinomorphic soft robot actuated by SMA springs | IEEE Conference Publication | IEEE Xplore