Mechanisms for reliable distributed real-time operating systems
Northcutt, J. Duane.
Academic press
1987