Al Hefner (NIST Lead) Frances Cleveland (Technical Champion)
2003 NASA OSMA Software Assurance Symposium SARP Initiative 583 The Use of a Virtual System Simulator & Executable Specifications to Enhance SW Validation,