Correlation techniques for digital time-of-flight measurement by airborne ultrasonic rangefinders | IEEE Conference Publication | IEEE Xplore