Lazar Crawford, Jared Erwin, Steafano Grimaldi, Soma Mitra, Andrew J. Kornecki, David P. Gluch. A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. In 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA. pages 287-288, IEEE Computer Society, 2004. [doi]
Abstract is missing.