Верификация программно-конфигурируемых сетей при помощи системы UPPAAL // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. –