SODA: Time distribution system for the PANDA experiment | IEEE Conference Publication | IEEE Xplore