Realistic modeling of microwave instability effects on the evolution of the beam energy-phase distribution in proton synchrotrons | IEEE Conference Publication | IEEE Xplore