Route safety verification of train control system by FTA modeling in SCADE. - Haifeng Wang; Bin Ning; Tan Chen; Shengjie Tang; Yong Zhang 028; Ming Chai (ITSC, 2018)