Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey. - Ruijun Cheng; Dewang Chen; Haifeng Song 001; Hui Liu 060; Huize Cheng (IEEE Trans. Intell. Transp. Syst., 2025)