An operating system for a fault-tolerant multiprocessor controller. - Ronald D. Williams; Barry W. Johnson; Thomas E. Roberts (IEEE Micro, 1988)