The Beam Control System for the CERN PS Booster | IEEE Journals & Magazine | IEEE Xplore