Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C. - Katsuhiko Gondow; Tomoya Suzuki II; Hayato Kawashima (APSEC, 2004)