Synthesizing Mutable Configurations: Setting up Systems for Success | IEEE Conference Publication | IEEE Xplore