VERMONT - средство верификации программно-конфигурируемых сетей // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 1 (212)