Thomas Reinbacher Jörg Brauer Martin Horauer Bastian Schlich Refining assembly code static analysis for the Intel MCS-51 microcontroller. 161-170 2009 SIES http://dx.doi.org/10.1109/SIES.2009.5196212 conf/sies/2009 db/conf/sies/sies2009.html#ReinbacherBHS09