"Self-stabilization preserving compiler."

Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics