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