@misc{indiciae82483219eab7,
  title = {Towards a Formal Verification of the Lightning Network with TLA+},
  author = {Matthias Grundmann and Hannes Hartenstein},
  year = {2023},
  url = {https://arxiv.org/abs/2307.02342},
  note = {Source identifier: 2307.02342}
}