Software Assurance Research Infusion: The NASA Experience. - Michael G. Hinchey; Thomas Pressburger; Martin S. Feather; Lawrence Markosian; Wes Deadrick (ISoLA, 2006)