//-->
Software Assurance Curriculum Project Volume I: Master of Software Assurance Reference Curriculum
Mead, Nancy R., (2010)
Programming languages for use in safety-related applications
Halang, Wolfgang A., (2003)
Safety of computer control systems: challenges and results in software development
Zalewski, Janusz, (2003)