Zaslat SMS: Программный комплекс для синтеза и анализа систем управления с самовыравниванием