Method for Assessing Probabilistic Reliability Estimation and Safety of Railway Automation Systems Redundant Structures | IEEE Conference Publication | IEEE Xplore