Статья Верификация событийно-управляемых программных систем с использованием языка спецификации взаимодействующих автоматных объектов Афанасьева И. В., Новиков Ф. А., Федорченко Л. Н.
Статья Язык спецификации взаимодействия автоматных объектов Новиков Ф. А., Афанасьева И. В., Федорченко Л. Н., Харисова Т. А.
Статья Проверка соответствия поведения системы на основе автоматных объектов формальным требованиям Новиков Ф. А., Афанасьева И. В., Федорченко Л. Н., Харисова Т. А.