Wallace, D.
and Ippolito, L.
(1994),
A framework for the development and assurance of high integrity software:, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.SP.500-223
(Accessed October 6, 2024)