GPR based real-time obstacle detection system for horizontal directional drilling | IEEE Conference Publication | IEEE Xplore