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