Pipeline crawler development for mapping gas pipeline topology | IEEE Conference Publication | IEEE Xplore