Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата / С. А. Прокопенко, М. В. Жигулин, А. В. Коломеец, Н. В. Евтушенко // Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 200-202. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318