Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking
A Relative Operation-Based Separation Model for Safe Distances of Virtually Coupled Trains
A novel framework for supporting the design of moving block train control system schemes