MODOSK: A modular distributed operating system kernel for real-time process control. - Patricia Garetti; Pietro Laface; Silvano Rivoira (Microprocessing and Microprogramming, 1982)