Stefanovych, Tetyana     Computational problems in automatized reliability analysis based on fault tree [Текст] / Tetyana Stefanovych, Serhiy Shcherbovskykh // Computer Science and Information Technologies CSIT'2016 : proc. of the XI-th Intern. Scientific and Techn. Conf., 6-10 Sept. 2016, Lviv, Ukraine / Min. of Education and Science of Ukraine, Lviv Polytechn. Nat. Univ. — Lviv : Lviv Polytechnic Publ. House, 2016. — P. 149-151.