Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics | IEEE Conference Publication | IEEE Xplore