Pošalji tekstualnu poruku: Применение автоматных моделей для тестирования автоматизированных систем управления