@misc{indiciaedc659f23815d,
  title = {Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols},
  author = {Ritam Ganguly and Yingjie Xue and Aaron Jonckheere and Parker Ljung and Benjamin Schornstein and Borzoo Bonakdarpour and Maurice Herlihy},
  year = {2022},
  url = {https://arxiv.org/abs/2204.09796},
  note = {Source identifier: 2204.09796}
}