Vasiuta, Vasyl, Artem Danyleiko, і Viktoriia Vasiuta. «КОНЦЕПТУАЛЬНІ ПІДХОДИ ОРГАНІЗАЦІЇ ПРОЦЕСІВ ВЕРИФІКАЦІЇ ПРОГРАМНИХ ПРОЄКТІВ КРИТИЧНИХ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ НА ОСНОВІ ВИМОГ ДО ЇХ ЖИТТЄВОГО ЦИКЛУ». Системи управління, навігації та зв’язку. Збірник наукових праць 1, no. 71 (Березень 17, 2023): 51–59. дата звернення Грудень 15, 2025. https://journals.nupp.edu.ua/sunz/article/view/2827.