Efficient Aerial–Aquatic Locomotion With a Single Propulsion System | IEEE Journals & Magazine | IEEE Xplore