Яковина, В. С., М. М. Сенів, і І. І. Симець. «Засоби автоматизованого формулювання умов працездатності складних технічних систем». Scientific Bulletin of UNFU 29, no. 9 (Грудень 26, 2019): 136-141. дата звернення Червень 8, 2026. https://nv.nltu.edu.ua/index.php/journal/article/view/2086.