Real-time integrated train rescheduling and rolling stock circulation planning for a metro line under disruptions. (October 2021)