Sandeep S. Kulkarni Anish Arora Automating the Addition of Fault-Tolerance. 82-93 http://link.springer.de/link/service/series/0558/bibs/1926/19260082.htm 2000 conf/ftrtft/2000 FTRTFT db/conf/ftrtft/ftrtft2000.html#KulkarniA00