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