Design and verification of a micro pipe robot | IEEE Conference Publication | IEEE Xplore