Discovering Likely Invariants of Distributed Transaction Systems for Autonomic System Management | IEEE Conference Publication | IEEE Xplore