Mechanisms for reliable distributed real-time operating systems : the alpha kernel - Northcutt, J. Duane (Academic press, Inc., 1987)