10 National Aeronautics and Space Administration (NASA), Software Assurance Standard, Standard No.
NASA-STD-2201-93 (Washington, DC: NASA, November 10, 1992).
11 National Institute of Standards and Technology, “SAMATE—Software Assurance Metrics and Tool
Evaluation” [portal page] (Gaithersburg, MD: NIST).