W. Burleson, J. Ko, D. Niehaus, K. Ramamritham, J. A. Stankovic et al., The spring scheduling co-processor: a scheduling accelerator, Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93, 1993.
DOI : 10.1109/ICCD.1993.393392

P. Gerum, Life with adeos, 2005.

J. Kiszka, The real-time driver model and first applications, 7th Real-Time Linux Workshop, 2005.

P. Kohout, B. Ganesh, and B. Jacob, Hardware support for real-time operating systems, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis , CODES+ISSS '03, pp.45-51, 2003.
DOI : 10.1145/944654.944656

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

P. Kuacharoen, M. Shalan, and V. M. , A configurable hardware scheduler for real-time systems, Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, pp.96-101, 2003.

J. Labrosse, MicroC/OS-II: the real-time kernel. Newnes, 2002.

L. Lindh, Fastchart-a fast time deterministic CPU and hardware based real-time-kernel, Proceedings. EUROMICRO `91 Workshop on Real-Time Systems, pp.36-40, 1991.
DOI : 10.1109/EMWRT.1991.144077

K. Yaghmour, Adaptive domain environment for operating systems, Opersys inc, 2001.