Performance analysis and verification of safety communication protocol in train control system. - Lijie Chen 004; Zhen-yu Shan; Tao Tang; Hong-jie Liu (Comput. Stand. Interfaces, 2011)

Verification of the safety communication protocol in train control system using colored Petri net. - Lijie Chen 004; Tao Tang; Xianqiong Zhao; Eckehard Schnieder (Reliab. Eng. Syst. Saf., 2012)