И. Бурдонов, А. Косачев. Тестирование системы автоматов с буферизацией сообщений. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. 103-130. 38 стр. doc, pdf