Modeling the dynamics of spring-driven oscillating-foil propulsion | IEEE Journals & Magazine | IEEE Xplore