Отправить по sms: Теория и проектирование контрольных автоматов