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