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