Vasiuta, Vasyl, Artem Danyleiko, і Viktoriia Vasiuta. Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Системи управління, навігації та зв’язку. Збірник наукових праць 1, no. 71 (Березень 17, 2023): 51-59. дата звернення Квітень 24, 2024. https://journals.nupp.edu.ua/sunz/article/view/2827.