Method for Assessing Probabilistic Reliability Estimation and Safety of Railway Automation Systems Redundant Structures. - Dmitry S. Markov; Oleg A. Nasedkin; Alexander D. Manakov; Michael N. Vasilenko; Alexey G. Kotenko; Vladimir L. Belozerov (EWDTS, 2020)