A bunch lengthening RF cavity for Aladdin | IEEE Conference Publication | IEEE Xplore