A Newly Developed Safety-Critical Computer System for China Metro | IEEE Journals & Magazine | IEEE Xplore