Wallace, D.
and Ippolito, L.
(1994),
A Framework for the Development and Assurance of High Integrity Software, Special Publication (NIST SP), National Institute of Standards and Technology, Gaithersburg, MD
(Accessed December 11, 2024)