Transfer synchronization model with elastic headway and valid inequalities | IEEE Conference Publication | IEEE Xplore