CloudChecker: An imperative framework for cloud configuration management | IEEE Conference Publication | IEEE Xplore