A Newly Developed Safety-Critical Computer System for China Metro. - Xiangxian Chen; Gongshuang Zhou; Yi Yang; Hai Huang (IEEE Trans. Intell. Transp. Syst., 2013)