Яковина, В. С., Сенів, М. М. і Симець, І. І. (2019) «Засоби автоматизованого формулювання умов працездатності складних технічних систем», Scientific Bulletin of UNFU, 29(9), с. 136-141. doi: 10.36930/40290924.