A Miniature Water Jumping Robot Based on Accurate Interaction Force Analysis | IEEE Journals & Magazine | IEEE Xplore