Бурдонов И.Б., Грошев С.Г., Демаков А.В., Камкин А.С., Косачев А.С. Сортов А.А. Параллельное тестирование больших автоматных моделей. Вестник ННГУ, №3, 2011 г., стр. 187-193. 7 стр. doc_1, pdf_1