Automated State-Space Exploration for Configuration Management of Service-Oriented Applications | IEEE Conference Publication | IEEE Xplore