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