Шабалдина Н. В. К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами / Н. В. Шабалдина, Р. Ф. Галимуллин // Программирование. 2012. № 3. С. 36-44. URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000435824