Lijuan Shi, Liquan Chen: Hazard recognition and reliability analysis of CTCS-3 on-board subsystem. Comput. Commun. 151: 145-153 (2020)