Hardware support for the tumult real-time scheduler. - H. C. van der Bij; Gerard J. M. Smit; Paul J. M. Havinga (Microprocessing and Microprogramming, 1989)