Asserting reliable convergence for configuration management scripts. - Oliver Hanappi; Waldemar Hummer; Schahram Dustdar (OOPSLA, 2016)