Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram. - Hao Zhang 214; Qing Xu; Ke Ye (IEEE Access, 2024)