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