Zaslat SMS: Теория и методы анализа управляемых распределенных процессов