Insup Lee, Robert B. King, Richard P. Paul: A Predictable Real-Time Kernel for Distributed Multisensor Systems. Computer 22(6): 78-83 (1989)