Vasiuta, Vasyl, Artem Danyleiko, і Viktoriia Vasiuta. 2023. «КОНЦЕПТУАЛЬНІ ПІДХОДИ ОРГАНІЗАЦІЇ ПРОЦЕСІВ ВЕРИФІКАЦІЇ ПРОГРАМНИХ ПРОЄКТІВ КРИТИЧНИХ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ НА ОСНОВІ ВИМОГ ДО ЇХ ЖИТТЄВОГО ЦИКЛУ». Системи управління, навігації та зв’язку. Збірник наукових праць 1 (71):51-59. https://doi.org/10.26906/SUNZ.2023.1.051.