Modeling and verification of train departure scenario for next generation train control systemLina Yang and Zhongtian LiuMATEC Web Conf., 336 (2021) 02008DOI: https://doi.org/10.1051/matecconf/202133602008