Email Record: Synthesis of Embedded Software :