Formalization Model of High Speed Trains in ATP Control and Its Safety Analysis
承向军,应志鹏,杜鹏
China Safety Science Journal . 2008, (3): 28 .