An In-Pipe Manipulator for Contamination-Less Rehabilitation of Water Distribution Pipes | IEEE Conference Publication | IEEE Xplore