Localization Techniques for In-pipe Robots in Water Distribution Systems | IEEE Conference Publication | IEEE Xplore