Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. - Qianzhu Zhao; Jing Liu 012; Xiang Chen; Tengfei Li 002; Junfeng Sun; Lipeng Zhang (TASE, 2021)