Finite-Difference Modeling of Micromachine for Use in Gastrointestinal Endoscopy | IEEE Journals & Magazine | IEEE Xplore