Model-Based IT Change Management for Large System Definitions with State-Related Dependencies | IEEE Conference Publication | IEEE Xplore