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