Non-linear longitudinal beam dynamics with harmonic RF systems for bunch lengthening | IEEE Conference Publication | IEEE Xplore