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