Innovations in software engineering for defense systemsSiddhartha R. Dalal, J. H. Poore, Michael L. Cohen · First published 2003Open the Tome
