Analysis and development of locomotion devices for the gastrointestinal tract | IEEE Journals & Magazine | IEEE Xplore