@misc{indiciae85cc90c1cefa,
  title = {Deductive Glue Code Synthesis for Embedded Software Systems Based on Code Patterns},
  author = {Liu, Jian and Fu, Jicheng and Zhang, Yansheng and Bastani, Farokh and Yen, I-Ling and Tai, Ann and Chau, Savio N.},
  year = {2006},
  url = {https://ntrs.nasa.gov/citations/20070023650},
  note = {Source identifier: 20070023650}
}