Strukov, A. and Ryabinin, I. 2014. Automated Modeling of Reliability of Structurally Complex Systems Consisting of Elements with Three Disjoint states. SPIIRAS Proceedings. 3, 34 (Jun. 2014), 89-111. DOI:https://doi.org/10.15622/sp.34.5.