Визовитин, Н. В.     Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н.В. Визовитин, В.А. Непомнящий, А.А. Стененко // Кибернетика и системный анализ : Международный научно-теоретический журнал. — К. : Институт кибернетики НАН Украины, 2015. — №2. — с.62-74.