The vacuum upgrade of the CERN PS and PS booster | IEEE Conference Publication | IEEE Xplore