Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy | IEEE Conference Publication | IEEE Xplore