A real-time operating system. - I. G. R. J. Roker (1986)