Real-Time Navigation of an Untethered Miniature Robot Using Mobile Ultrasound Imaging and Magnetic Actuation Systems | IEEE Journals & Magazine | IEEE Xplore