A measurement method based on Kalman filtering for ultrasonic time-of-flight estimation | IEEE Journals & Magazine | IEEE Xplore