RF system for the MICE demonstration of ionisation cooling | IEEE Conference Publication | IEEE Xplore