Керницький, О. Б., і В. М. Теслюк. «Моделювання процесу валідації специфікацій у реінжинірингу It-проєктів на основі статистичного аналізу мереж Петрі». Scientific Bulletin of UNFU, вип. 36, вип. 1, Лютий 2026, с. 96–104, doi:10.36930/40360111.