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