@inproceedings{ReinbacherBrauerHoraueretal.2009,
  author    = {Thomas Reinbacher and J{\"o}rg Brauer and Martin Horauer and Bastian Schlich},
  title     = {Refining Assembly Code Static Analysis for the Intel MCS-51 Microcontroller},
  booktitle = {Proceedings of the 4th IEEE Symposium of Industrial Embedded Systems (SIES 2009), July 8-10, 2009, Lausanne, Switzerland},
  pages     = {161 -- 170},
  year      = {2009},
}