VASIUTA, V.; DANYLEIKO, A.; VASIUTA, V. Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Системи управління, навігації та зв’язку. Збірник наукових праць, v. 1, n. 71, p. 51-59, 17 mar. 2023.