Digital control of the LEP RF system | IEEE Conference Publication | IEEE Xplore