Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata | IEEE Conference Publication | IEEE Xplore