Innovations in software engineering for defense systems - Poore, J. H.; Cohen, Michael L. (National Academic Press, 2003)