GALAXY: A Distributed Real-Time Operating System Supporting High Availability. - A. Kung; R. Kung (RTSS, 1985)