ЯКОВИНА, В. С.; СЕНІВ, М. М.; СИМЕЦЬ, І. І. Засоби автоматизованого формулювання умов працездатності складних технічних систем. Scientific Bulletin of UNFU, v. 29, n. 9, p. 136-141, 26 Груд 2019.