1. Analog devices (2009) ADSP-BF533 processor hardware reference. http://www.analog.com/static/imported-files/processor_manuals/bf533_hwr_Rev3.4.pdf
2. Alt M, Ferdinand C, Martin F, Wilhelm R (1996) Cache behavior prediction by abstract interpretation. In: Lecture notes in computer science, vol 1145, pp 52–66
3. Alur R, Yannakakis M (1999) Model checking message sequence charts. In: Proceedings of the international conference on concurrency theory
4. Arm (2004) ARM Cortex A-8 technical reference manual. Revised March 2004. http://www.arm.com/products/CPUs/families/ARMCortexFamily.html
5. Arm (2007) ARM1156T2-S technical reference Manual. Revised July 2007. http://www.arm.com/products/CPUs/families/ARM11Family.html