Zaslat SMS: Методы анализа и синтеза сложных автоматических систем