Automated Logical-Probabilistic Methodology and Software Tool as Component of the Complex of Methodologies and Software Tools for Evaluation of Reliability and Survivability of Onboard Equipment of Small Satellites. - Vadim Skobtsov; Natalia Lapitskaja; Roman Saksonov; Semyon A. Potryasaev (CSOS (1), 2018)