A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. - Lazar Crawford; Jared Erwin; Steafano Grimaldi; Soma Mitra; Andrew J. Kornecki; David P. Gluch (HASE, 2004)