A Formulation of MIP Train Rescheduling at Terminals in Bidirectional Double-Track Lines with a Moving Block and ATO. - Kosuke Kawazoe; Takuto Yamauchi; Kenji Tei (ATMOS, 2022)