Text this: Применение автоматных моделей для тестирования автоматизированных систем управления