A 9 ps time interval digitizer based on pulse repetition and averaging | IEEE Conference Publication | IEEE Xplore