1. Infineon Technologies AG. 2016. XMC4500 reference manual (v1.6 ed.). Infineon Technologies AG. 2016. XMC4500 reference manual (v1.6 ed.).
2. Altium. 2009. TASKING VX-toolset for TriCore user guide. https://www.tasking.com/support/tricore/tc_user_guide_v3.3.pdf Altium. 2009. TASKING VX-toolset for TriCore user guide. https://www.tasking.com/support/tricore/tc_user_guide_v3.3.pdf
3. A. Burns and R. Davis. 2013. Mixed criticality systems - A review. Department of Computer Science University of York Tech. Rep (2013). A. Burns and R. Davis. 2013. Mixed criticality systems - A review. Department of Computer Science University of York Tech. Rep (2013).
4. nZDC