Discovering Likely Invariants of Distributed Transaction Systems for Autonomic System Management