1. Accelera: SystemC Language Reference Manual. IEEE Std. 1666–2011 (Revision of IEEE Std. 1666–2005), pp. 1–638, January 2012
2. ARM: ARM Cortex-A15 MPCore Technical Reference Manual, July 2012.
https://www.arm.com/
3. ARM: Versatile board.
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dsi0034a/index.html
. Accessed May 2018
4. AUTOSAR: AUTomotive Open System ARchitecture Operating System Standard v4.1 (2014).
https://www.autosar.org/
5. Bellard, F.: QEMU, a fast and portable dynamic translator. In: USENIX Annual Technical Conference. ATEC 2005, pp. 41–41 (2005)