Modeling and Experimental Characterization of Propulsion of a Spiral-Type Microrobot for Medical Use in Gastrointestinal Tract | IEEE Journals & Magazine | IEEE Xplore