The CDF-II time-of-flight detector system | IEEE Conference Publication | IEEE Xplore