Vasiuta Vasyl Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу / Vasyl Vasiuta, Artem Danyleiko, Viktoriia Vasiuta // Системи управління, навігації та зв’язку. Збірник наукових праць. – Полтава: ПНТУ, 2023. – Т. 1 (71). – С. 51-59. – doi:https://doi.org/10.26906/SUNZ.2023.1.051.