А. Д. Ермаков, Н. В. Евтушенко, “Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата”, Модел. и анализ информ. систем, 23:6 (2016), 729–740
А. Д. Ермаков, Н. В. Евтушенко, “К синтезу адаптивных проверяющих последовательностей для недетерминированных автоматов”, Труды ИСП РАН, 28:3 (2016), 123–144
