1. Accellera Systems Initiative: Technical tutorial: An introduction to IEEE 1666–2011, the new systemc standard. media.systemc.org (2007). http://media.systemc.org/ieee16662011/index.html
2. Acronymics Inc: AgentBuilder: An integrated toolkit for constructing intelligent software agents—reference manual—ver. 1.4. agentbuilder.com (2004). http://www.agentbuilder.com/Documentation/ReferenceManual-v1.4.pdf
3. Amey, P.: Correctness by construction: Better can also be cheaper. CrossTalk Mag.: J. Def. Softw. Eng. 6, 24–28 (2002)
4. Andrei, O., Kirchner, H.: A Higher-order graph calculus for autonomic computing. In: Graph Theory, Computational Intelligence and Thought. Lecture Notes in Computer Science, pp. 15–26. No. 5420. Springer, Berlin (2008)
5. Assurance Process for Complex Electronics, NASA: Requirements engineering. hq.nasa.gov (2009). http://www.hq.nasa.gov/office/codeq/software/ComplexElectronics/l_requirements2.htm