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