Керницький, О. Б.; Теслюк, В. М. Моделювання процесу валідації специфікацій у реінжинірингу It-проєктів на основі статистичного аналізу мереж Петрі. SBUNFU 2026, 36, 96–104.