1. Objects in real-time systems
2. Amnell, T., Fersman, E., Mokrushin, L., Petterson, P., & Wang, Y. (2003). TIMES: A tool for schedulability analysis and code generation of real-time systems. Proceedings of the 1st Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS), (pp. 60-72). Berlin / Heidelberg: Springer.
3. ARM. (2010). Cortex-A9 MPCore. Retrieved May 10, 2010, from http://www.arm.com/products/CPUs/ARMCortex-A9_MPCore.html
4. ARM. (2010). Hardware platforms. Retrieved May 10, 2010, from http://www.arm.com/products/DevTools/PB11MPCore.html