Automated Planning of System Rollback in Declarative IT System Update | IEEE Conference Publication | IEEE Xplore