Generating Rotating Magnetic Fields With a Single Permanent Magnet for Propulsion of Untethered Magnetic Devices in a Lumen | IEEE Journals & Magazine | IEEE Xplore