Nominal longitudinal parameters for the LHC beam in the CERN SPS | IEEE Conference Publication | IEEE Xplore