Ultrasonic borehole depth-gauge | IEEE Conference Publication | IEEE Xplore