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