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