A Dynamic Fault Tree Based CBTC Onboard ATP System Safety Analysis Method | IEEE Conference Publication | IEEE Xplore