The H1 SPACAL time-to-digital converter system | IEEE Journals & Magazine | IEEE Xplore