A novel in-pipe worming robot based on SMA | IEEE Conference Publication | IEEE Xplore