(November–December 2005): 9–12.
93 Peter Neumann (SRI International), Principled Assuredly Trustworthy Composable Architectures, Final
Report, report no. CDRL A001 (December 28, 2004).
94 “SEI Predictable Assembly From Certifiable Components (PACC)” [web page] (Pittsburgh, PA: CMU SEI).