Olga Brukman Shlomi Dolev Elliot K. Kolodner Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. 20- 2003 conf/swste/2003 SwSTE http://doi.ieeecomputersociety.org/10.1109/SWSTE.2003.1245312 db/conf/swste/swste2003.html#BrukmanDK03