Timed Fault Tree Models of the China Yongwen Railway Accident | IEEE Conference Publication | IEEE Xplore