Daniel D. Gajski Samar Abdi Ines Viskic Model Based Synthesis of Embedded Software. 21-33 2008 SEUS http://dx.doi.org/10.1007/978-3-540-87785-1_3 conf/seus/2008 db/conf/seus/seus2008.html#GajskiAV08