Virtually coupled train stop control based on contractive MPC | IEEE Conference Publication | IEEE Xplore