Modeling and analysis of an in-pipe robotic leak detector | IEEE Conference Publication | IEEE Xplore