A. Kung R. Kung GALAXY: A Distributed Real-Time Operating System Supporting High Availability. 79-87 1985 conf/rtss/1985 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1985.html#KungK85