Location of Gas Leaks in Pipe-Encased Gas Pressure Cable Lines | IEEE Journals & Magazine | IEEE Xplore