An Assessment of Space Shuttle flight software development processes - Leveson, Nancy (National Academy Press, 1993)