A preemptive deterministic scheduling algorithm for multithreaded replicas | IEEE Conference Publication | IEEE Xplore