1. ARM (2011) Cortex-A15 technical reference manual, Rev: r2p0
2. Axer P, Ernst R, Falk H, Girault A, Grund D, Guan N, Jonsson B, Marwedel P, Reineke J, Rochange C et al (2014) Building timing predictable embedded systems. ACM Trans Embed Comput Syst (TECS) 13(4):82
3. Binkert N, Beckmann B, Black G, Reinhardt S, Saidi A, Basu A, Hestness J, Hower D, Krishna T, Sardashti S et al (2011) The gem5 simulator. ACM SIGARCH Computer Architecture News
4. Blem E, Menon J, Sankaralingam K (2013) Power struggles: revisiting the RISC vs. CISC debate on contemporary arm and x86 architectures. In: High performance computer architecture (HPCA). IEEE, pp 1–12
5. Burns A, Davis R (2013) Mixed criticality systems-a review. Department of Computer Science, University of York, Tech. Rep