Picosecond time-of-flight measurement for colliders using Cherenkov light | IEEE Conference Publication | IEEE Xplore