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