MIT Leak Detector: An in-pipe leak detection robot | IEEE Conference Publication | IEEE Xplore