1. Real-time kernel in hardware RTU: a step towards deterministic and high-performance real-time systems;Adomat;Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996.,1996
2. C. M. Ferreira, A.S.R.O. (2009). RTOS Hardware Coprocessor Implementation in VHDL. Technical report. http://www.academia.edu/.
3. Expresslogic (2011). Meas. RTOS Performance. Technical report, Online. http://rtos.com/PDFs/MeasuringRTOSPerformance.pdf.
4. Kohout, P., Ganesh, B., and Jacob, B. (2003). Hardware support for real-time operating systems. First IEEE/ACM/IFIP Int. Conf. on HW/SW Codesign and System Synthesis, 2003., 45–51.
5. Kuacharoen, P., Shalan, M.A., and III, V.J.M. (2003). A Configurable Hardware Scheduler for Real-Time Systems. Proceedings. of the International Conference on Engineering of Reconfigurable Systems and Algorithms, 96–101.