Remote leak hole localization for underwater natural gas pipelines | IEEE Conference Publication | IEEE Xplore