Leak detection and localization of gas pipeline system based on wavelet analysis | IEEE Conference Publication | IEEE Xplore