A multi-channel wide range time-to-digital converter with better than 9ps RMS precision for pulsed time-of-flight laser rangefinding | IEEE Conference Publication | IEEE Xplore