1. Strukov A., Ryabinin I. Automated Modeling of Reliability of Structurally Complex Systems Consisting of Elements with Three Disjoint states // SPIIRAS Proceedings. 2014. № 34 (3). C. 89-111.