A Digital Beam-Phase Control System for a Heavy-Ion Synchrotron With a Dual-Harmonic Cavity System