1. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. IEEE Comp. 29(12), 66–76 (1996)
2. Aeronautical Radio, Inc. (ARINC). ARINC 653,
http://www.arinc.com/
3. Atig, M.F., Bouajjani, A., Burckhardt, S., Musuvathi, M.: On the verification problem for weak memory models. In: 37th ACM SIGACT/SIGPLAN Symp. on Principles of Prog. Lang., pp. 7–18. ACM, New York (2010)
4. Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. In: AIAA Infotech@Aerospace, vol. AIAA-2010-3385, pp. 1–38. AIAA (American Institute of Aeronautics and Astronautics) (April 2010)
5. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: ACM SIGPLAN Conf. on Prog. Lang. Design and Implementation, pp. 196–207. ACM, New York (2003)