Contraction Estimates for Abstract Real-Time Algorithms for NMPC | IEEE Conference Publication | IEEE Xplore