Resistive force theory based modeling and simulation of surface contact for swimming helical micro robots with channel flow | IEEE Conference Publication | IEEE Xplore