Fault-tolerant real-time systems : the problem of replica determinism - Poledna, Stefan, 1963- (Kluwer Academic Publishers, 1996)