Development of a swimming robot for pipeline leak detection | IEEE Conference Publication | IEEE Xplore