"Asserting reliable convergence for configuration management scripts."

Oliver Hanappi, Waldemar Hummer, Schahram Dustdar (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics