Яковина, В. С.; Сенів, М. М.; Симець, І. І. Засоби автоматизованого формулювання умов працездатності складних технічних систем. SBUNFU 2019, 29, 136-141.