Timing System for J-PARC | IEEE Conference Publication | IEEE Xplore