Kevin Hammond Paul H. J. Kelly Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. 81-82 2012 77 Sci. Comput. Program. 2 http://dx.doi.org/10.1016/j.scico.2011.11.001 db/journals/scp/scp77.html#HammondK12