Marco Cornero Filip Thoen Gert Goossens Francesco Curatelli Software Synthesis for real-time information processing systems. 260-279 1994 conf/dagstuhl/1994code Code Generation for Embedded Processors db/conf/dagstuhl/code1994.html#CorneroTGC94