Ruijun Cheng, Dewang Chen, Haifeng Song 0001, Hui Liu, Huize Cheng. Formal Modeling and Verification Methods for the System Requirement Specifications of Train Control Systems: A Survey. IEEE Transactions on Intelligent Transportation Systems, 26(2):1419-1440, February 2025. [doi]
Abstract is missing.