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