Enviar por SMS: Логическое управление дискретными процессами. Модели, анализ, синтез