229 Peter Amey (Praxis High Integrity Systems), Correctness by Construction (Washington, DC: US CERT,
December 5, 2006).
html?branch=1&language=1
230 Hall and Chapman, Correctness by Construction: Developing a Commercial Secure System, op cit.