Automatic Generation of Optimal Binary Codes for Real-Time Embedded Systems. - Kiyofumi Tanaka; Kouhei Hayashi (ESA, 2008)