Text this: Mechanisms for reliable distributed real-time operating systems :