Reliability Analysis of CTCS-3 Train Operation Control Systems via Binary Decision Diagrams Method | IEEE Conference Publication | IEEE Xplore