Planning-based configuration and management of distributed systems | IEEE Conference Publication | IEEE Xplore