Jian Liu Jicheng Fu Yansheng Zhang Farokh B. Bastani I-Ling Yen Ann T. Tai Savio N. Chau Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns. 109-116 2006 conf/isorc/2006 ISORC http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.25 db/conf/isorc/isorc2006.html#LiuFZBYTC06