1. AbsInt: WCET analysis and stack usage analysis. http://www.absint.com/
2. Andrews J (2005) Co-verification of hardware and software for ARM SoC Design. Newnes
3. Andrews J (2011) Welcome to the cadence virtual system platform. URL http://www.cadence.com/
4. Ashton K (2009) That ‘internet of things’ thing, in the real world things matter more than ideas. RFID 1:10–10
5. Automation JD, Post-silicon debug solution. http://www.jasper-da.com/products/post-silicon-debug