Extracting Overlay Invariants of Distributed Systems for Autonomic System Management | IEEE Conference Publication | IEEE Xplore