Shlomi Dolev Yinnon A. Haviv Mooly Sagiv Self-stabilization preserving compiler. 2009 31 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/1552309.1552312 db/journals/toplas/toplas31.html#DolevHS09