Vadim Skobtsov, Natalia Lapitskaja, Roman Saksonov, Semyon A. Potryasaev: 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. CSOS (1) 2018: 452-463