A real-time monitor for a distributed real-time operating system - Tokuda, Hideyuki; Kotera, Makoto; Mercer, Clifford W. (1988)