1. AUTOSAR. Specification of Operating System V3.1.1 R3.1 Rev 0002 (2012), http://www.autosar.org/ (last accessed: July 1, 2013)
2. OSEK/VDX, http://www.osek-vdx.org/ (last accessed: July 1, 2013)
3. Arctic Core — the open-source AUTOSAR embedded platform, http://www.arccore.com/ (last accessed: July 1, 2013)
4. Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., Stenström, P.: The worst-case execution-time problem—overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3) (2008)
5. Tuch, H.: Formal Memory Models for Verifying C Systems Code. Ph.D. Thesis. University of NSW, Australia (2008)