Leak detection in gas distribution pipelines using acoustic impact monitoring | IEEE Conference Publication | IEEE Xplore