Configuration Policy Extraction for Parameter Settings in Cloud Infrastructure Using UML/OCL Verification | IEEE Conference Publication | IEEE Xplore