И. Бурдонов, А. Косачев. Тестирование системы автоматов. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №38, 2017, стр. 63-71 9 стр. doc, pdf