Cross-chain payment protocols with success guarantees[J] DISTRIBUTED COMPUTING van Glabbeek, Rob Gramoli, Vincent Tholoniat, Pierre