Email-запись: Методы и алгоритмы автоматизированного проектирования сложных систем управления