Automated Change Planning for Differential Update IT Systems with State Constraint | IEEE Conference Publication | IEEE Xplore