Lazy Repair for Addition of Fault-Tolerance to Distributed Programs | IEEE Conference Publication | IEEE Xplore