1. Accelera: Core SystemC Language.
https://www.accellera.org/downloads/standards/systemc
. Accessed Aug 2019
2. Airlines Electronic Engineering Committee (AEEC): ARINC Specification 653 P1. Avionics application software standard interface (2010). rev. 3
3. Barry, R.: FreeRTOS.
http://freerots.org
. Accessed Aug 2019
4. Buttazzo, G.: Research trends in real-time computing for embedded systems. SIGBED Rev. 3(3), 1–10 (2006).
https://doi.org/10.1145/1164050.1164052
5. D’Angelo, M., Ferrari, A., Ogaard, O., Pinello, C., Ulisse, A.: A Simulator based on QEMU and SystemC for robustness testing of a networked linux-based fire detection and alarm system. In: Proceedings of the Conference on Embedded Real Time Systems and Software, pp. 1–9 (2012)